CoRR, August 2016
Chung-Kai Yu, Mihaela van der Schaar, Ali H. Sayed:
Distributed Learning for Stochastic Generalized Nash Equilibrium Problems.
Mathias Jacquelin, Yili Zheng, Esmond Ng, Katherine A. Yelick:
An Asynchronous Task-based Fan-Both Sparse Cholesky Solver.
Shervin Minaee, AmirAli Abdolrashidi, Yao Wang:
Face Recognition Using Scattering Convolutional Network.
Hao Peng, Rongke Liu, Yi Hou, Ling Zhao:
A Gb/s Parallel Block-based Viterbi Decoder for Convolutional Codes on GPU.
Tuyen X. Tran, Dario Pompili:
Octopus: A Cooperative Hierarchical Caching Strategy for Radio Access Networks.
Dana Drachsler-Cohen, Martin T. Vechev, Eran Yahav:
Optimal Learning of Specifications from Examples.
Hoa Khanh Dam, Truyen Tran, John Grundy, Aditya K. Ghose:
DeepSoft: A vision for a deep model of software.
Yanghao Xie, Zhixiang Liu, Sheng Wang, Yuxiu Wang:
Service Function Chaining Resource Allocation: A Survey.
Mohammad Lari, Abbas Mohammadi, Abdolali Abdipour, Inkyu Lee:
Characterization of Effective Capacity in Antenna Selection MIMO Systems.

Chenguang Wang, Yangqiu Song, Dan Roth, Ming Zhang, Jiawei Han:
World Knowledge as Indirect Supervision for Document Clustering.

Jack K. Fitzsimons, Michael A. Osborne, Stephen J. Roberts, Joseph F. Fitzsimons:
Improved stochastic trace estimation using mutually unbiased bases.
Guang Yang, Ming Xiao, James Gross, Hussein Al-Zubaidy, Yongming Huang:
Delay and Backlog Analysis for 60 GHz Wireless Networks.
(Withdrawn) A Graph Framework for Multimodal Medical Information Processing.
Amaury Pouly:
Computational complexity of solving polynomial differential equations over unbounded domains with non-rational coefficients.
Wen-Bo Du, Wen Ying, Gang Yan, Yan-Bo Zhu, Xian-Bin Cao:
Heterogeneous Strategy Particle Swarm Optimization.
Wen-Bo Du, Bo-Yuan Liang, Gang Yan, Oriol Lordan, Xian-Bin Cao:
Identifying vital edges in Chinese air route network via memetic algorithm.
Felipe R. Monteiro, Phillipe A. Pereira, Lucas C. Cordeiro, Cicero Ferreira Fernandes Costa Filho, Marly Guimarães Fernandes Costa:
Complementary Training Programme for Electrical and Computer Engineering Students Through an Industrial-Academic Collaboration (Extended Version).
Bilal Ahmed, Thomas Thesen, Karen E. Blackmon, Ruben Kuzniecky, Orrin Devinsky, Jennifer G. Dy, Carla E. Brodley:
Multi-task Learning with Weak Class Labels: Leveraging iEEG to Detect Cortical Lesions in Cryptogenic Epilepsy.
Yashar Deldjoo, Shengping Zhang, Bahman Zanj, Paolo Cremonesi, Matteo Matteucci:
Sparse vs. Non-sparse: Which One Is Better for Practical Visual Tracking?
Thomas Brihaye, Benoît Delahaye, Loïg Jezequel, Nicolas Markey, Jirí Srba:
Proceedings Cassting Workshop on Games for the Synthesis of Complex Systems and 3rd International Workshop on Synthesis of Complex Parameters and 3rd International Workshop on Synthesis of Complex Parameters, Cassting/SynCoP 2016, Eindhoven, The Netherlands, April 2-3, 2016. EPTCS 220, 2016 [contents]
Karthekeyan Chandrasekaran, Mahdi Cheraghchi, Venkata Gandikota, Elena Grigorescu:
Local Testing for Membership in Lattices.
Peng Tang, Xinggang Wang, Baoguang Shi, Xiang Bai, Wenyu Liu, Zhuowen Tu:
Deep FisherNet for Object Classification.
Cewu Lu, Ranjay Krishna, Michael S. Bernstein, Fei-Fei Li:
Visual Relationship Detection with Language Priors.
Venkatesan Guruswami, Ankit Singh Rawat:
New MDS codes with small sub-packetization and near-optimal repair bandwidth.
Zhi-Zhong Chen, Youta Harada, Lusheng Wang:
An Approximation Algorithm for Maximum Internal Spanning Tree.
Soumitra Samanta, Bhabatosh Chanda:
A Data-driven Approach for Human Pose Tracking Based on Spatio-temporal Pictorial Structure.
Bálint Antal:
Automatic 3D Point Set Reconstruction from Stereo Laparoscopic Images using Deep Neural Networks.
Zhiwen Shao, Shouhong Ding, Yiru Zhao, Qinchuan Zhang, Lizhuang Ma:
Learning deep representation from coarse to fine for face alignment.
Adel M. Elmahdy, Amr El-Keyi, Yahya Mohasseb, Tamer A. ElBatt, Mohammed Nafie, Karim G. Seddik, Tamer Khattab:
Asymmetric Degrees of Freedom of the Full-Duplex MIMO 3-Way Channel with Unicast and Broadcast Messages.
Ofer Freedman, Pawel Gawrychowski, Patrick K. Nicholson, Oren Weimann:
Optimal Distance Labeling Schemes for Trees.
Ilija Ilievski, Jiashi Feng:
Hyperparameter Transfer Learning through Surrogate Alignment for Efficient Deep Neural Network Training.
Pierre Thodoroff, Joelle Pineau, Andrew Lim:
Learning Robust Features using Deep Learning for Automatic Seizure Detection.
Konstantinos Makantasis, Antonis Nikitakis, Anastasios Doulamis, Nikolaos Doulamis, Yannis Papaefstathiou:
Variational Inference Background Subtraction Algorithm for in-Camera Acceleration in Thermal Imagery.
Konstantinos Georgatzis, Christopher K. I. Williams, Christopher Hawthorne:
Input-Output Non-Linear Dynamical Systems applied to Physiological Condition Monitoring.
Francisco Vasconcelos, Donald Peebles, Sébastien Ourselin, Danail Stoyanov:
Similarity Registration Problems for 2D/3D Ultrasound Calibration.


Mario Mastriani:
Denoising and compression in wavelet domain via projection onto approximation coefficients.



Licheng Yu, Patrick Poirson, Shan Yang, Alexander C. Berg, Tamara L. Berg:
Modeling Context in Referring Expressions.
Mario Mastriani, Alberto E. Giraldez:
Kalman's shrinkage for wavelet-based despeckling of SAR images.
Mario Mastriani:
Denoising based on wavelets and deblurring via self-organizing map for Synthetic Aperture Radar images.
Jeroen B. P. Vuurens, Martha Larson, Arjen P. de Vries:
Exploring Deep Space: Learning Personalized Ranking in a Semantic Space.
Mario Mastriani:
Fuzzy thresholding in wavelet domain for speckle reduction in Synthetic Aperture Radar images.

Mang Liao, Aranya Chakrabortty:
Optimization Algorithms for Catching Data Manipulators in Power System Estimation Loops.
David Savage, Xiuzhen Zhang, Xinghuo Yu, Pauline Lienhua Chou, Qingmai Wang:
Anomaly detection in online social networks.
Beishui Liao, Kang Xu, Huaxin Huang:
Formulating Semantics of Probabilistic Argumentation by Characterizing Subgraphs: Theory and Empirical Results.
Mohammad R. Vedady Moghadam, Rui Zhang:
Node Placement and Distributed Magnetic Beamforming Optimization for Wireless Power Transfer.
Boya Di, Tianyu Wang, Lingyang Song, Zhu Han:
Collaborative Smartphone Sensing using Overlapping Coalition Formation Games.
Nathan D. Ratliff, Franziska Meier, Daniel Kappler, Stefan Schaal:
DOOMED: Direct Online Optimization of Modeling Errors in Dynamics.
Rameswar Panda, Abir Das, Amit K. Roy-Chowdhury:
Video Summarization in a Multi-View Camera Network.

Kensuke Harada, Weiwei Wan, Tokuo Tsuji, Kohei Kikuchi, Kazuyuki Nagata, Hiromu Onda:
Iterative Visual Recognition for Learning Based Randomized Bin-Picking.
Syed Safwan Khalid, Naveed ur Rehman, Shafayat Abrar:
Higher-Degree Stochastic Integration Filtering.
Jekaterina Novikova, Oliver Lemon, Verena Rieser:
Crowd-sourcing NLG Data: Pictures Elicit Better Data.
Ashkan Kalantari, Sina Maleki, Symeon Chatzinotas, Björn E. Ottersten:
Frequency of Arrival-based Interference Localization Using a Single Satellite.
Weiqiang Tan, Shi Jin, Chao-Kai Wen, Yindi Jing:
Spectral Efficiency of Mixed-ADC Receivers for Massive MIMO Systems.
Nikolas J. Hemion:
Discovering Latent States for Model Learning: Applying Sensorimotor Contingencies Theory and Predictive Processing to Model Context.
Reza Arablouei, Ethan Goan, Stephen Gensemer, Branislav Kusy:
Fast and robust pushbroom hyperspectral imaging via DMD-based scanning.
Chao Dong, Chen Change Loy, Xiaoou Tang:
Accelerating the Super-Resolution Convolutional Neural Network.
Marcin Waniek, Tomasz P. Michalak, Talal Rahwan, Michael Wooldridge:
Hiding Individuals and Communities in a Social Network.
(Withdrawn) A New Performance Guarantee for Orthogonal Matching Pursuit Using Mutual Coherence.
Blesson Varghese, Ozgur Akgun, Ian Miguel, Long Thai, Adam Barker:
Cloud Benchmarking For Maximising Performance of Scientific Applications.
Omar Zakary, Mostafa Rachik:
The $ε$-capacity of a gain matrix and tolerable disturbances: Discrete-time perturbed linear systems.
Jihyun Lee, Byungmoon Kim, Bongwon Suh, Eunyee Koh:
Exploring the Front Touch Interface for Virtual Reality Headsets.
Marco De Nadai, Radu L. Vieriu, Gloria Zen, Stefan Dragicevic, Nikhil Naik, Michele Caraviello, César A. Hidalgo, Nicu Sebe, Bruno Lepri:
Are Safer Looking Neighborhoods More Lively? A Multimodal Investigation into Urban Life.
Madhusudan Lakshmana, Sundararajan Sellamanickam, Shirish K. Shevade, Keerthi Selvaraj:
Learning Semantically Coherent and Reusable Kernels in Convolution Neural Nets for Sentence Classification.
Fabian Steiner, Georg Böcherer:
Comparison of Geometric and Probabilistic Shaping with Application to ATSC 3.0.
Cameron T. Chalk, Erik D. Demaine, Martin L. Demaine, Eric Martinez, Robert T. Schweller, Luis Vega, Tim Wylie:
Universal Shape Replicators via Self-Assembly with Attractive and Repulsive Forces.
ZongYuan Ge, Chris McCool, Conrad Sanderson, Peng Wang, Lingqiao Liu, Ian D. Reid, Peter I. Corke:
Exploiting Temporal Information for DCNN-based Fine-Grained Object Classification.

Abhishek Maity:
Supervised Classification of RADARSAT-2 Polarimetric Data for Different Land Features.
Jianming Zhang, Zhe Lin, Jonathan Brandt, Xiaohui Shen, Stan Sclaroff:
Top-down Neural Attention by Excitation Backprop.
Paul Michel, Okko Räsänen, Roland Thiollière, Emmanuel Dupoux:
Improving Phoneme segmentation with Recurrent Neural Networks.
Mahdi Zamani, Jared Saia, Jedidiah R. Crandall:
TorBricks: Blocking-Resistant Tor Bridge Distribution.
Alireza Davoudi, Saeed Shiry Ghidary, Khadijeh Sadatnejad:
Dimensionality reduction based on Distance Preservation to Local Mean (DPLM) for SPD matrices and its application in BCI.
Varun K. Nagaraja, Vlad I. Morariu, Larry S. Davis:
Modeling Context Between Objects for Referring Expression Understanding.
João Rasga, Cristina Sernadas, Paulo Mateus, Amílcar Sernadas:
Decision and optimization problems in the Unreliable-Circuit Logic.
Lorant Kovacs, Rajmund Drenyovszki, Andras Olah, János Levendovszky, Kalman Tornai, Istvan Pintér:
A probabilistic demand side management approach by consumption admission control.
Christopher G. R. Wallis, Yves Wiaux, Jason D. McEwen:
Sparse image reconstruction on the sphere: analysis vs synthesis.

Blake A. Hechtman, Andrew D. Hilton, Daniel J. Sorin:
TREES: A CPU/GPU Task-Parallel Runtime with Explicit Epoch Synchronization.
Qian Li, Geng Wu, Apostolos Papathanassiou, Mukherjee Udayan:
An end-to-end network slicing framework for 5G wireless communication systems.
Mohsen Yousefbeiki, Juan R. Mosig, Andreas Peter Burg:
Near-Field Perturbation Effect on Constellation Error in Beam-Space MIMO.
Solmaz S. Kia, Sonia Martínez:
A partially decentralized EKF scheme for cooperative localization over unreliable communication links.
Priyadarshini Panda, Kaushik Roy:
Attention Tree: Learning Hierarchies of Visual Features for Large-Scale Image Recognition.
Abhyuday Jagannatha, Hong Yu:
Structured prediction models for RNN based sequence labeling in clinical text.
Roman Starosolski:
Skipping Selected Steps of DWT Computation in Lossless JPEG 2000 for Improved Bitrates.
Bo-Wei Chen:
Efficient Multiple Incremental and Decremental Ridge Support Vector Machines for Big Streams.
Bo-Wei Chen:
Energy-Economic Multiple Incremental/Decremental Kernel Ridge Regression for Green Clouds.
Shreyansh Daftry, J. Andrew Bagnell, Martial Hebert:
Learning Transferable Policies for Monocular Reactive MAV Control.
Yuanrui Zhang, Youngwook Ko, Roger F. Woods, Alan J. Marshall:
Defining Spatial Security Outage Probability for Exposure Region Based Beamforming.
Max Grossman, Christopher Thiele, Mauricio Araya-Polo, Florian Frank, Faruk O. Alpak, Vivek Sarkar:
A survey of sparse matrix-vector multiplication performance on large matrices.
Anthony Bonato, David Ryan D'Angelo, Ethan R. Elenberg, David F. Gleich, Yangyang Hou:
Mining and modeling character networks.
Narges Razavian, Jake Marcus, David Sontag:
Multi-task Prediction of Disease Onsets from Longitudinal Lab Tests.
Thomas Brihaye, Amit Kumar Dhar, Gilles Geeraerts, Axel Haddad, Benjamin Monmege:
Efficient Energy Distribution in a Smart Grid using Multi-Player Games. 1-12
Milka Hutagalung, Norbert Hundeshagen, Dietrich Kuske, Martin Lange, Étienne Lozes:
Two-Buffer Simulation Games. 27-38
Sotiris Moschoyiannis, Nicholas Elia, Alexandra S. Penn, David J. B. Lloyd, Christopher J. K. Knight:
A Web-based Tool for Identifying Strategic Intervention Points in Complex Systems. 39-52
Louise Foshammer, Kim Guldstrand Larsen, Anders Mariegaard:
Weighted Branching Simulation Distance for Parametric Weighted Kripke Structures. 63-75
Bharath Siva Kumar Tati, Markus Siegle:
Rate Reduction for State-labelled Markov Chains with Upper Time-bounded CSL Requirements. 77-89

Konstantinos Raftopoulos, Stefanos D. Kollias, Marin Ferecatu:
Global Vertices and the Noising Paradox.
Konstantin Berlin, Joshua Saxe:
Improving Zero-Day Malware Testing Methodology Using Statistically Significant Time-Lagged Test Samples.
Anupam Gupta, Viswanath Nagarajan, Sahil Singla:
Adaptivity Gaps for Stochastic Probing: Submodular and XOS Functions.
Stephen Chong, Joshua Guttman, Anupam Datta, Andrew C. Myers, Benjamin C. Pierce, Patrick Schaumont, Tim Sherwood, Nickolai Zeldovich:
Report on the NSF Workshop on Formal Methods for Security.
David Savage, Xiuzhen Zhang, Xinghuo Yu, Pauline Lienhua Chou, Qingmai Wang:
Detection of opinion spam based on anomalous rating deviation.
Xibo Jin, Fa Zhang, Athanasios V. Vasilakos, Zhiyong Liu:
Green Data Centers: A Survey, Perspectives, and Future Directions.



Tamara V. Sobers, Boulat A. Bash, Saikat Guha, Don Towsley, Dennis Goeckel:
Covert Communication in the Presence of an Uninformed Jammer.
David Savage, Qingmai Wang, Pauline Lienhua Chou, Xiuzhen Zhang, Xinghuo Yu:
Detection of money laundering groups using supervised learning in networks.
Timothy La Fond, Jennifer Neville, Brian Gallagher:
Size-Consistent Statistics for Anomaly Detection in Dynamic Networks.


Carmine Dodaro, Philip Gasteiger, Nicola Leone, Benjamin Musitsch, Francesco Ricca, Kostyantyn M. Shchekotykhin:
Combining Answer Set Programming and Domain Heuristics for Solving Hard Industrial Problems (Application Paper).

Ziv Goldfeld, Paul Cuff, Haim H. Permuter:
Wiretap Channels with Random States Non-Causally Available at the Encoder.
Mohammad Lari:
Effective Capacity of Receive Antenna Selection MIMO-OSTBC Systems in Co-Channel Interference.
Nick Schneider, Lukas Schneider, Peter Pinggera, Uwe Franke, Marc Pollefeys, Christoph Stiller:
Semantically Guided Depth Upsampling.
Christina Lioma, Fabien Tarissan, Jakob Grue Simonsen, Casper Petersen, Birger Larsen:
Exploiting the Bipartite Structure of Entity Grids for Document Coherence and Retrieval.
Christopher D. Clack, Vikram A. Bakshi, Lee Braine:
Smart Contract Templates: foundations, design landscape and research directions.
Michele Volpi, Devis Tuia:
Dense semantic labeling of sub-decimeter resolution images with convolutional neural networks.
Edward J. Yoon:
Horn: A System for Parallel Training and Regularizing of Large-Scale Neural Networks.
Yasser M. Seddiq, A. A. Alharbiy, Moayyad Hamza Ghunaim:
Shape and Centroid Independent Clustring Algorithm for Crowd Management Applications.
Alexander Vandenbroucke, Maciej Piróg, Benoit Desouter, Tom Schrijvers:
Tabling with Sound Answer Subsumption.
Brian Brost, Ingemar J. Cox, Yevgeny Seldin, Christina Lioma:
An Improved Multileaving Algorithm for Online Ranker Evaluation.
(Withdrawn) The Storage And Analytics Potential Of HBase Over The Cloud: A Survey.
Yuanjun Xiong, Limin Wang, Zhe Wang, Bowen Zhang, Hang Song, Wei Li, Dahua Lin, Yu Qiao, Luc Van Gool, Xiaoou Tang:
CUHK & ETHZ & SIAT Submission to ActivityNet Challenge 2016.
Xianwen Wang, Zhichao Fang, Xinhui Guo:
Tracking the Digital Footprints to Scholarly Articles from Social Media.
Yongxu Zhu, Lifeng Wang, Kai-Kit Wong, Robert W. Heath Jr.:
Secure Communications in Millimeter Wave Ad Hoc Networks.
Giuseppe Amato, Fabrizio Falchi, Lucia Vadicamo:
Aggregating Binary Local Descriptors for Image Retrieval.
Minjia Shi, Li-Qian Ma, Lin Sok:
A class of constacyclic codes over $\mathbb{Z}_4[u]/\langle u^2-1\rangle$ and its Gray images.
Suleiman Y. Yerima, Sakir Sezer, Igor Muttik:
High Accuracy Android Malware Detection Using Ensemble Learning.
Suleiman Y. Yerima, Gerard P. Parr, Cathryn Peoples, Sally I. McClean, Philip J. Morrow:
A Framework for Context-Driven End-to-End QoS Control in Converged Networks.
José Camacho-Collados, Ignacio Iacobacci, Roberto Navigli, Mohammad Taher Pilehvar:
Semantic Representations of Word Senses and Concepts.
Peter J. Schüffler, Judy Sarungbam, Hassan Muhammad, Ed Reznik, Satish K. Tickoo, Thomas J. Fuchs:
Mitochondria-based Renal Cell Carcinoma Subtyping: Learning from Deep vs. Flat Feature Representations.
Suleiman Y. Yerima, Sakir Sezer, Gavin McWilliams, Igor Muttik:
A New Android Malware Detection Approach Using Bayesian Classification.
Nikos Chondros, Bingsheng Zhang, Thomas Zacharias, Panos Diamantopoulos, Stathis Maneas, Christos Patsonakis, Alex Delis, Aggelos Kiayias, Mema Roussopoulos:
Distributed, End-to-end Verifiable, and Privacy-Preserving Internet Voting Systems.
Gintare Karolina Dziugaite, Zoubin Ghahramani, Daniel M. Roy:
A study of the effect of JPG compression on adversarial images.
Suleiman Y. Yerima, Khalid Al-Begain:
An Enhanced Buffer Management Scheme for Multimedia Traffic in HSDPA.
Limin Wang, Yuanjun Xiong, Zhe Wang, Yu Qiao, Dahua Lin, Xiaoou Tang, Luc Van Gool:
Temporal Segment Networks: Towards Good Practices for Deep Action Recognition.
Jie Chen, Haim Avron, Vikas Sindhwani:
Hierarchically Compositional Kernels for Scalable Nonparametric Learning.
BooJoong Kang, Suleiman Y. Yerima, Kieran McLaughlin, Sakir Sezer:
PageRank in Malware Categorization.
Daniela Gerz, Ivan Vulic, Felix Hill, Roi Reichart, Anna Korhonen:
SimVerb-3500: A Large-Scale Evaluation Set of Verb Similarity.
Pedro Cabalar, Jorge Fandinno:
Justifications for Programs with Disjunctive and Causal-choice Rules.


Patrick Doetsch, Albert Zeyer, Paul Voigtlaender, Ilya Kulikov, Ralf Schlüter, Hermann Ney:
RETURNN: The RWTH Extensible Training framework for Universal Recurrent Neural Networks.
Sonal Goel, Niharika Sachdeva, Ponnurangam Kumaraguru, A. V. Subramanyam, Divam Gupta:
PicHunt: Social Media Image Retrieval for Improved Law Enforcement.
Wen-Sheng Chu, Fernando De la Torre, Jeffrey F. Cohn:
Modeling Spatial and Temporal Cues for Multi-label Facial Action Unit Detection.
Guang Yang, Ming Xiao, Hussein Al-Zubaidy, Yongming Huang, James Gross:
Analysis of Multi-Hop Outdoor 60 GHz Wireless Networks with Full-Duplex Buffered Relays.
Shun Kataoka, Takuto Kobayashi, Muneki Yasuda, Kazuyuki Tanaka:
Community Detection Algorithm Combining Stochastic Block Model and Attribute Data Clustering.
Saad Nadeem, Rui Shi, Joseph Marino, Wei Zeng, Xianfeng Gu, Arie E. Kaufman:
Registration of Volumetric Prostate Scans using Curvature Flow.
Francesco Renna, Joseph Doyle, Vasileios Giotsas, Yiannis Andreopoulos:
Media Query Processing For The Internet-of-Things: Coupling Of Device Energy Consumption And Cloud Infrastructure Billing.
Hao Tang, Weiran Wang, Kevin Gimpel, Karen Livescu:
Efficient Segmental Cascades for Speech Recognition.


Mohsen Mosleh, Kia Dalili, Babak Heydari:
Distributed or Monolithic? A Computational Architecture Decision Framework.
Igor Surmin, Sergey Bastrakov, Zakhar Matveev, Evgeny Efimenko, Arkady Gonoskov, Iosif Meyerov:
Co-design of a particle-in-cell plasma simulation code for Intel Xeon Phi: a first look at Knights Landing.
Gökhan Kul, Duc Luong, Ting Xie, Patrick Coonan, Varun Chandola, Oliver Kennedy, Shambhu J. Upadhyaya:
Summarizing Large Query Logs in Ettu.
Thomas W. Rogers, Nicolas Jaccard, Edward J. Morton, Lewis D. Griffin:
Automated X-ray Image Analysis for Cargo Security: Critical Review and Future Promise.
Dimitrios Kartsaklis, Martha Lewis, Laura Rimell:
Proceedings of the 2016 Workshop on Semantic Spaces at the Intersection of NLP, Physics and Cognitive Science, SLPCS@QPL 2016, Glasgow, Scotland, 11th June 2016. EPTCS 221, 2016 [contents]
Suleiman Y. Yerima, Khalid Al-Begain:
Analysis of M2/M2/1/R, N Queuing Model for Multimedia over 3.5G Wireless Network Downlink.
Suleiman Y. Yerima, Khalid Al-Begain:
End-to-End QoS Improvement of HSDPA End-User Multi-flow Traffic Using RAN Buffer Management.
N. Dinesh Reddy, Iman Abbasnejad, Sheetal Reddy, Amit Kumar Mondal, Vindhya Devalla:
Incremental Real-Time Multibody VSLAM with Trajectory Optimization Using Stereo Camera.
Victor Fragoso, Walter J. Scheirer, João Pedro Hespanha, Matthew Turk:
One-Class Slab Support Vector Machine.
Jarrod Chapman, Isaac Y. Ho, Eugene Goltsman, Daniel S. Rokhsar:
Meraculous2: fast accurate short-read assembly of large polymorphic genomes.
Michael J. Steindorfer, Jurgen J. Vinju:
Fast and Lean Immutable Multi-Maps on the JVM based on Heterogeneous Hash-Array Mapped Tries.
Dawei Zhao, Zhen Wang, Gaoxi Xiao, Bo Gao, Lianhai Wang:
The robustness of interdependent networks under the interplay between cascading failures and virus propagation.

Emad Barsoum, Cha Zhang, Cristian Canton-Ferrer, Zhengyou Zhang:
Training Deep Networks for Facial Expression Recognition with Crowd-Sourced Label Distribution.
Parminder Bhatia, Robert Guthrie, Jacob Eisenstein:
Morphological Priors for Probabilistic Neural Word Embeddings.
Wen-bing Huang, Fuchun Sun, Le-le Cao, Mehrtash Harandi:
Analyzing Linear Dynamical Systems: From Modeling to Coding and Learning.
Xiao-Bo Jin, Guang-Gang Geng, Kaizhu Huang, Zhiwei Yan:
Ranking Entity Based on Both of Word Frequency and Word Sematic Features.
Fateme Fahiman, James C. Bezdek, Sarah M. Erfani, Christopher Leckie, Marimuthu Palaniswami:
Fuzzy c-Shape: A new algorithm for clustering finite time series waveforms.
Tal Remez, Or Litany, Shachar Yoseff, Harel Haim, Alexander M. Bronstein:
FPGA system for real-time computational extended depth of field imaging using phase aperture coding.
Dilip K. Prasad, C. Krishna Prasath, Deepu Rajan, Lily Rachmawati, Eshan Rajabally, Chai Quek:
Challenges in video based object detection in maritime scenario using computer vision.
Md Shipon Ali, Hina Tabassum, Ekram Hossain:
Dynamic User Clustering and Power Allocation for Uplink and Downlink Non-Orthogonal Multiple Access (NOMA) Systems.
Jinghua Wang, Zhenhua Wang, Dacheng Tao, Simon See, Gang Wang:
Learning Common and Specific Features for RGB-D Semantic Segmentation with Deconvolutional Networks.
Christian Hadiwinoto, Yang Liu, Hwee Tou Ng:
To Swap or Not to Swap? Exploiting Dependency Word Pairs for Reordering in Statistical Machine Translation.
Ashwin Srinivasan, Gautam Shroff, Lovekesh Vig, Sarmimala Saikia, Puneet Agarwal:
Generation of Near-Optimal Solutions Using ILP-Guided Sampling.
Mayank Singh, Tanmoy Chakraborty, Animesh Mukherjee, Pawan Goyal:
Is this conference a top-tier? ConfAssist: An assistive conflict resolution framework for conference categorization.

Aymen Jaziri, Ridha Nasri, Tijani Chahed:
System level analysis of heterogeneous networks under imperfect traffic hotspot localization.
Aymen Jaziri, Ridha Nasri, Tijani Chahed:
Performance Analysis of Small Cells' Deployment under Imperfect Traffic Hotspot Localization.


Enrique Sánchez-Lozano, Brais Martínez, Georgios Tzimiropoulos, Michel F. Valstar:
Cascaded Continuous Regression for Real-time Incremental Face Tracking.
Gary Pui-Tung Choi, Mandy Hiu-Ying Man, Lok Ming Lui:
Fast Spherical Quasiconformal Parameterization of Genus-0 Closed Surfaces with Application to Adaptive Remeshing.
Dong Huang, Chang-Dong Wang, Jian-Huang Lai, Yun Liang, Shan Bian, Yu Chen:
Ensemble-driven support vector clustering: From ensemble learning to automatic parameter estimation.
Sebastian Baumbach, Frank Wittich, Florian Sachs, Sheraz Ahmed, Andreas Dengel:
A Novel Approach for Data-Driven Automatic Site Recommendation and Selection.
P. Balasubramanian, K. Prasad:
Early Output Hybrid Input Encoded Asynchronous Full Adder and Relative-Timed Ripple Carry Adder.

Abbas Ehsanfar, Babak Heydari:
An Incentive-Compatible Scheme for Electricity Cooperatives: An Axiomatic Approach.
Shan Yang, Tanya Amert, Zherong Pan, Ke Wang, Licheng Yu, Tamara L. Berg, Ming C. Lin:
Detailed Garment Recovery from a Single-View Image.
Niao He, Zaïd Harchaoui, Yichen Wang, Le Song:
Fast and Simple Optimization for Poisson Likelihood Models.
Nuwan S. Ferdinand, Brian M. Kurkoski, Matthew S. Nokleby, Behnaam Aazhang:
Low-Dimensional Shaping for High-Dimensional Lattice Codes.

Johannes Stegmaier, Ralf Mikut:
Fuzzy-based Propagation of Prior Knowledge to Improve Large-Scale Image Analysis Pipelines.
Yuping Luo, Chung-Cheng Chiu, Navdeep Jaitly, Ilya Sutskever:
Learning Online Alignments with Continuous Rewards Policy Gradient.
Chanfei Wang, Tiejun Lv, Hui Gao, Shaoshi Yang:
A Belief Propagation Based Framework for Soft Multiple-Symbol Differential Detection.
Sándor Darányi, Peter Wittek, Konstantinos Konstantinidis, Symeon Papadopoulos, Efstratios Kontopoulos:
A Physical Metaphor to Study Semantic Drift.
Caelan Reed Garrett, Leslie Pack Kaelbling, Tomás Lozano-Pérez:
Learning to Rank for Synthesizing Planning Heuristics.
Caelan Reed Garrett, Tomás Lozano-Pérez, Leslie Pack Kaelbling:
FFRob: Leveraging Symbolic Planning for Efficient Task and Motion Planning.


Yunming Zhang, Vladimir Kiriansky, Charith Mendis, Matei Zaharia, Saman P. Amarasinghe:
Optimizing Cache Performance for Graph Analytics.

Pier Luigi Ventre, Alberto Caponi, Davide Palmisano, Stefano Salsano, Giuseppe Siracusano, Marco Bonola, Giuseppe Bianchi:
D-STREAMON - a NFV-capable distributed framework for network monitoring.
William M. Campbell, Lin Li, Charlie K. Dagli, Joel Acevedo-Aviles, K. Geyer, Joseph P. Campbell, C. Priebe:
Cross-Domain Entity Resolution in Social Media.
Masoud Nosrati, Fakhereh Rahimi, Ronak Karimi:
Language free character recognition using character sketch and center of gravity shifting.
Facundo Mémoli, Anastasios Sidiropoulos, Vijay Sridhar:
Quasimetric embeddings and their applications.

Josef Bolt, Bob Coecke, Fabrizio Genovese, Martha Lewis, Daniel Marsden, Robin Piedeleu:
Interacting Conceptual Spaces. 11-19
Stephen McGregor, Matthew Purver, Geraint A. Wiggins:
Words, Concepts, and the Geometry of Analogy. 39-48



Jongsoo Park, Sheng R. Li, Wei Wen, Hai Li, Yiran Chen, Pradeep Dubey:
Holistic SparseCNN: Forging the Trident of Accuracy, Speed, and Size.



Florian Kühnlenz, Pedro H. J. Nardelli, Hirley Alves:
Analysis of Demand Control Policies using an Agent-based Multi-layer Power System Model.
Dong Wang, Haohan Li, Xiaoyu Wei, Xiaoping Wang:
An efficient iterative thresholding method for image segmentation.
Iran Ramezanipour, Mauricio de Castro Tomé, Pedro H. J. Nardelli, Hirley Alves:
Decision Error Probability in a Two-stage Communication Network for Smart Grids with Imperfect Data Links.
María Alpuente, Demis Ballis, Francisco Frechina, Julia Sapiña:
Assertion-based Analysis via Slicing with ABETS (System Description).
Hao Yang, Joey Tianyi Zhou, Jianfei Cai:
Improving Multi-label Learning with Missing Labels by Structured Semantic Correlations.
Peng Liu, Wangdong Qi, Li Wei, En Yuan, Bing Xu:
Full Duplex Joint Sensing for Opportunistic Access in Spectrum-Heterogeneous Cognitive Radio Networks.
Qingrong Xia, Zhenghua Li, Jiayuan Chao, Min Zhang:
Word Segmentation on Micro-blog Texts with External Lexicon and Heterogeneous Data.

Jiahui Yu, Yuning Jiang, Zhangyang Wang, Zhimin Cao, Thomas S. Huang:
UnitBox: An Advanced Object Detection Network.
(Withdrawn) Streaming Weighted Matchings: Optimal Meets Greedy.
Mordechai Guri, Eyal Shemer, Dov Shirtz, Yuval Elovici:
Personal Information Leakage During Password Recovery of Internet Services.
João Santos, Ricardo Rocha:
On the Implementation of an Or-Parallel Prolog System for Clusters of Multicores.
(Withdrawn) Solution Concepts in A-Loss Recall Games: Existence and Computational Complexity.
Branislav Bosanský, Jiri Cermak, Karel Horák, Michal Pechoucek:
Computing Maxmin Strategies in Extensive-Form Zero-Sum Games with Imperfect Recall.
Kumar Vijay Mishra, Eli Shoshan, Moshe Namer, Maxim Meltsin, David Cohen, Ron Madmoni, Shahar Dror, Robert Ifraimov, Yonina C. Eldar:
Cognitive Sub-Nyquist Hardware Prototype of a Collocated MIMO Radar.
Suman Saha, Gurkirt Singh, Michael Sapienza, Philip H. S. Torr, Fabio Cuzzolin:
Deep Learning for Detecting Multiple Space-Time Action Tubes in Videos.


Anna Bogomolnaia, Hervé Moulin, Fedor Sandomirskiy, Elena Yanovskaya:
Dividing goods or bads under additive utilities.
Juan C. Correa, Jorge E. Camargo:
Ideological Consumerism in Colombian Elections, 2015: Links between Political Ideology, Twitter Activity and Electoral Results.
Paheli Bhattacharya, Pawan Goyal, Sudeshna Sarkar:
UsingWord Embeddings for Query Translation for Hindi to English Cross Language Information Retrieval.
Nader H. Bshouty:
Derandomizing Chernoff Bound with Union Bound with an Application to $k$-wise Independent Sets.
Edel Garcia:
Local Term Weight Models from Power Transformations: Development of BM25IR: A Best Match Model based on Inverse Regression.
K. Tuncay Tekle, Yanhong A. Liu:
Precise Complexity Guarantees for Pointer Analysis via Datalog with Extensions.


Harits Ar Rosyid, Matt Palmerlee, Ke Chen:
Deploying learning materials to game content for serious education game development: A case study.
David A. Cohen, Martin C. Cooper, Peter G. Jeavons, Andrei A. Krokhin, Robert Powell, Stanislav Zivny:
Binarisation for Valued Constraint Satisfaction Problems.
Arsany Guirguis, Mohammed Karmoose, Karim Habak, Mustafa El-Nainay, Moustafa Youssef:
Cooperation-based Routing in Cognitive Radio Networks.
Wei Li, Christina Tsangouri, Farnaz Abtahi, Zhigang Zhu:
A Recursive Framework for Expression Recognition: From Web Images to Deep Models to Game Dataset.
Prakruthi Karuna, Hemant Purohit, Bonnie Stabile, Angela Hattery:
On the Dynamics of Local to Global Campaigns for Curbing Gender-based Violence.
Mounir Assaf, David A. Naumann, Julien Signoles, Eric Totel, Frédéric Tronel:
Hypercollecting Semantics and its Application to Static Analysis of Information Flow.
Richard Chen, Yating Jing, Hunter Jackson:
Identifying Metastases in Sentinel Lymph Nodes with Deep Convolutional Neural Networks.

Chen Mu, Chiwoo Park:
Optimal Filtered Backprojection for Fast and Accurate Tomography Reconstruction.
Keren Censor-Hillel, Merav Parter, Gregory Schwartzman:
Derandomizing Local Distributed Algorithms under Bandwidth Restrictions.
Sara Ahmadian, Chaitanya Swamy:
Approximation Algorithms for Clustering Problems with Lower Bounds and Outliers.
Sofiane Abbar, Tahar Zanouda, Javier Borge-Holthoefer:
Robustness and Resilience of cities around the world.
Ali Jazayeri, Hiroki Sayama:
A Polynomial-Time Deterministic Approach to the Traveling Salesperson Problem.
Cristina G. Fernandes, Samuel P. de Paula, Lehilton L. C. Pedrosa:
Improved Approximation Algorithms for Capacitated Fault-Tolerant k-Center.


Joseph Connelly, Kenneth Zeger:
Linear Network Coding over Rings, Part II: Vector Codes and Non-Commutative Alphabets.
Joseph Connelly, Kenneth Zeger:
Linear Network Coding over Rings, Part I: Scalar Codes and Commutative Alphabets.
Alireza Shafaei, James J. Little, Mark Schmidt:
Play and Learn: Using Video Games to Train Computer Vision Models.
Yukun Chen, Jianbo Ye, Jia Li:
A Distance for HMMs based on Aggregated Wasserstein Metric and State Registration.
Chun-Hung Liu, Kok Leong Fong:
Fundamentals of the Downlink Green Coverage and Energy Efficiency in Heterogeneous Networks.
Benjamin W. K. Hung, Anura P. Jayasumana:
Investigative Simulation: Towards Utilizing Graph Pattern Matching for Investigative Search.
Abhimanyu Dubey, Nikhil Naik, Devi Parikh, Ramesh Raskar, César A. Hidalgo:
Deep Learning the City : Quantifying Urban Perception At A Global Scale.
Mert Ozer, Nyunsu Kim, Hasan Davulcu:
Community Detection in Political Twitter Networks using Nonnegative Matrix Factorization Methods.
Aneta Neumann, Bradley Alexander, Frank Neumann:
The Evolutionary Process of Image Transition in Conjunction with Box and Strip Mutation.
Dinh Thai Hoang, Dusit Niyato, Ping Wang, Dong In Kim, Zhu Han:
The Tradeoff Analysis in RF-Powered Backscatter Cognitive Radio Networks.
Esma Turgut, Mustafa Cenk Gursoy:
Coverage in Heterogeneous Downlink Millimeter Wave Cellular Networks.

(Withdrawn) The BioDynaMo Project: a platform for computer simulations of biological dynamics.
Andreas Brandstädt, Suhail Mahfud, Raffaele Mosca:
Bounded Clique-Width of ($S_{1, 2, 2}$, Triangle)-Free Graphs.
Haoran Yu, Man Hon Cheung, Jianwei Huang:
Cooperative Wi-Fi Deployment: A One-to-Many Bargaining Framework.
Bart Bogaerts, Tomi Janhunen, Shahab Tasharrofi:
Stable-Unstable Semantics: Beyond NP with Normal Logic Programs.
Lorenzo Fagiano, Eric Nguyen Van, Felix Rager, Stephan Schnez, Christian Ohler:
A Small-Scale Prototype to Study the Take-Off of Tethered Rigid Aircrafts for Airborne Wind Energy.
Manuel Bichler, Michael Morak, Stefan Woltran:
The Power of Non-Ground Rules in Answer Set Programming.
Yifan Gu, He Chen, Yonghui Li, Branka Vucetic:
Wireless-Powered Two-Way Relaying with Power Splitting-based Energy Accumulation.
Hilal Ergun, Mustafa Sert:
Fusing Deep Convolutional Networks for Large Scale Visual Concept Classification.
Milutin Nikolic, Branislav Borovac, Mirko Rakovic, Milica Zigic:
Increased Mobility in Presence of Multiple Contacts - Identifying Contact Configurations that Enable Arbitrary Acceleration of CoM.
Georgios Chatzigeorgakidis, Andrea Cuttone, Sune Lehmann, Jakob Eg Larsen:
Who Wants to Self-Track Anyway? Measuring the Relation between Self-Tracking Behavior and Personality Traits.
Avisek Lahiri, Biswajit Paria, Prabir Kumar Biswas:
Forward Stagewise Additive Model for Collaborative Multiview Boosting.

Lorenzo Fagiano, Eric Nguyen Van, Felix Rager, Stephan Schnez, Christian Ohler:
Autonomous Take-Off and Flight of a Tethered Aircraft for Airborne Wind Energy.
Stéphanie Guérit, Adriana Gonzalez, Anne Bol, John A. Lee, Laurent Jacques:
Blind Deconvolution of PET Images using Anatomical Priors.
Pranava Swaroop Madhyastha, Cristina España-Bonet:
Resolving Out-of-Vocabulary Words with Bilingual Embeddings in Machine Translation.
(Withdrawn) The Many Faces of Graph Dynamics.
Frédéric Meunier, Wolfgang Mulzer, Pauline Sarrabezolles, Yannik Stein:
The Rainbow at the End of the Line - A PPAD Formulation of the Colorful Carathéodory Theorem with Applications.
Paul Beame, Nathan Grosshans, Pierre McKenzie, Luc Segoufin:
Nondeterminism and an abstract formulation of Nečiporuk's lower bound method.
Andrea Cuttone, Sune Lehmann, Jakob Eg Larsen:
Geoplotlib: a Python Toolbox for Visualizing Geographical Data.
Andrea Cuttone, Sune Lehmann, Marta C. González:
Understanding Predictability and Exploration in Human Mobility.
Mark Law, Alessandra Russo, Krysia Broda:
Iterative Learning of Answer Set Programs from Context Dependent Examples.
Jean-Marc Valin, Timothy B. Terriberry, Nathan E. Egge, Thomas J. Daede, Yushin Cho, Christopher Montgomery, Michael Bebenita:
Daala: Building A Next-Generation Video Codec From Unconventional Technology.
Paul Magron, Roland Badeau, Bertrand David:
Phase recovery by unwrapping: applications to music signal processing.
Camilo Akimushkin, Diego R. Amancio, Osvaldo N. Oliveira Jr.:
Text authorship identified using the dynamics of word co-occurrence networks.
Maciej Wielgosz, Marcin Pietron:
OpenCL-accelerated object classification in video streams using Spatial Pooler of Hierarchical Temporal Memory.
Sun Kim, W. John Wilbur, Zhiyong Lu:
Bridging the Gap: a Semantic Similarity Measure between Queries and Documents.
Peter M. Krafft, Julia Zheng, Wei Pan, Nicolás Della Penna, Yaniv Altshuler, Erez Shmueli, Joshua B. Tenenbaum, Alex Pentland:
Human collective intelligence as distributed Bayesian inference.
Mario Mastriani, Alberto E. Giraldez:
Enhanced Directional Smoothing Algorithm for Edge-Preserving Smoothing of Synthetic-Aperture Radar Images.
Elisabetta Ronchieri, Maria Grazia Pia, Francesco Giacomini:
Software Quality Metrics for Geant4: An Initial Assessment.
Cho-Jui Hsieh, Si Si, Inderjit S. Dhillon:
Communication-Efficient Parallel Block Minimization for Kernel Machines.
Miguel Ramos, Marco Tulio Valente, Ricardo Terra, Gustavo Santos:
AngularJS in the Wild: A Survey with 460 Developers.
Jun Zhou, Haozhou Yu, Karen Smith, Colin Wilder, Hongkai Yu, Song Wang:
Identifying Designs from Incomplete, Fragmented Cultural Heritage Objects by Curve-Pattern Matching.



Kanji Tanaka:
Multi-Model Hypothesize-and-Verify Approach for Incremental Loop Closure Verification.
Yun Liu, Kun-Ta Chuang, Fu-Wen Liang, Huey-Jen Su, Collin M. Stultz, John V. Guttag:
Transferring Knowledge from Text to Predict Disease Onset.
Hao Cheng, Hao Fang, Xiaodong He, Jianfeng Gao, Li Deng:
Bi-directional Attention with Agreement for Dependency Parsing.




Jiaming Li, Chau Yuen, Dong Li, Han Zhang, Xianda Wu:
On Hybrid Pilot for Channel Estimation in Massive MIMO Uplink.
Ivan Vulic, Daniela Gerz, Douwe Kiela, Felix Hill, Anna Korhonen:
HyperLex: A Large-Scale Evaluation of Graded Lexical Entailment.

Yair Yona, Suhas N. Diggavi:
Password Cracking: The Effect of Bias on the Average Guesswork of Hash Functions.
John Lipor, Laura Balzano:
Leveraging Union of Subspace Structure to Improve Constrained Clustering.
Uwe Springmann, Anke Lüdeling:
OCR of historical printings with an application to building diachronic corpora: A case study using the RIDGES herbal corpus.
Joshua C. Peterson, Joshua T. Abbott, Thomas L. Griffiths:
Adapting Deep Network Features to Capture Psychological Representations.
Thomas Goldstein, Paul Hand, Choongbum Lee, Vladislav Voroninski, Stefano Soatto:
ShapeFit and ShapeKick for Robust, Scalable Structure from Motion.
Osvaldo Skliar, Ricardo E. Monge, Sherry Gapper:
Analysis of time series and signals using the Square Wave Method.

Evan M. Drumwright:
True Rigidity: Interpenetration-free Multi-Body Simulation with Polytopic Contact.
(Withdrawn) Multiview Cauchy Estimator Feature Embedding for Depth and Inertial Sensor-Based Human Action Recognition.
Neda Petreska, Hussein Al-Zubaidy, Rudi Knorr, James Gross:
Power-Minimization under Statistical Delay Constraints for Multi-Hop Wireless Industrial Networks.
Stephan R. Richter, Vibhav Vineet, Stefan Roth, Vladlen Koltun:
Playing for Data: Ground Truth from Computer Games.
Mark Burgess:
Spacetimes with Semantics (III) - The Structure of Functional Knowledge Representation and Artificial Reasoning.



Keisuke Sakaguchi, Kevin Duh, Matt Post, Benjamin Van Durme:
Robsut Wrod Reocginiton via semi-Character Recurrent Neural Network.
(Withdrawn) On converting community detection algorithms for fuzzy graphs in Neo4j.
Shaohua Wan, Zhijun Chen, Tao Zhang, Bo Zhang, Kong-kat Wong:
Bootstrapping Face Detection with Hard Negative Examples.
Edward Johns, Stefan Leutenegger, Andrew J. Davison:
Deep Learning a Grasp Function for Grasping under Gripper Pose Uncertainty.
Xiaohua Huang, Sujing Wang, Xin Liu, Guoying Zhao, Xiaoyi Feng, Matti Pietikäinen:
Spontaneous Facial Micro-Expression Recognition using Discriminative Spatiotemporal Local Binary Pattern with an Improved Integral Projection.
Ricardo Bencatel, Anouck R. Girard, Ilya V. Kolmanovsky:
Reference Governor Strategies for Vehicle Rollover Avoidance.
Ali Khodabakhsh, Seyyed Saeed Sarfjoo, Umut Uludag, Osman Soyyigit, Cenk Demiroglu:
Incorporation of Speech Duration Information in Score Fusion of Speaker Recognition Systems.
Mehran Zareh, Lorenzo Sabattini, Cristian Secchi:
Decentralized Biconnectivity Conditions in Multi-robot Systems.
Nicholas J. A. Harvey, Piyush Srivastava, Jan Vondrák:
Computing the independence polynomial in Shearer's region for the LLL.

Rossano Schifanella, Paloma de Juan, Joel R. Tetreault, Liangliang Cao:
Detecting Sarcasm in Multimodal Social Platforms.
Aleksey Zhuvikin, Valery I. Korzhik, Guillermo Morales-Luna:
Semi-Fragile Image Authentication based on CFD and 3-Bit Quantization.
Thushan Ganegedara, Lionel Ott, Fabio Ramos:
Online Adaptation of Deep Architectures with Reinforcement Learning.
Marzyeh Ghassemi, Zeeshan Syed, Daryush D. Mehta, Jarrad H. Van Stan, Robert E. Hillman, John V. Guttag:
Uncovering Voice Misuse Using Symbolic Mismatch.
William R. Gray Roncal, Colin Lea, Akira Baruah, Gregory D. Hager:
SANTIAGO: Spine Association for Neuron Topology Improvement and Graph Optimization.
Federico Schlüter, Yanela Strappa, Facundo Bromberg, Diego H. Milone:
Blankets Joint Posterior score for learning irregular Markov network structures.


Kyung Jun Choi, Kwang Soon Kim:
Large-Scale Cloud Radio Access Networks with Practical Constraints: Asymptotic Analysis and Its Implications.
Antonio Vergari, Nicola Di Mauro, Floriana Esposito:
Towards Representation Learning with Tractable Probabilistic Models.
Saeedeh Moloudi, Michael Lentmaier, Alexandre Graell i Amat:
Finite Length Weight Enumerator Analysis of Braided Convolutional Codes.
Maria Henar Salas-Olmedo, Carolina Rojas Quezada:
Mapping mobility patterns to public spaces in a medium-sized city using geolocated tweets.
Mayu Otani, Yuta Nakashima, Esa Rahtu, Janne Heikkilä, Naokazu Yokoya:
Learning Joint Representations of Videos and Sentences with Web Image Search.
Mahaman Sani Chaibou, Karim Kalti, Soulaiman Bassel, Mohamed Ali Mahjoub:
A combined Approach Based on Fuzzy Classification and Contextual Region Growing to Image Segmentation.
Mabrouka Hagui, Mohamed Ali Mahjoub, Ahmed Boukhris:
Comparative study and enhancement of Camera Tampering Detection algorithms.
Ibtissem Hadj Ali, Mohamed Ali Mahjoub:
Database of handwritten Arabic mathematical formulas images.

Ronald de Haan:
Complexity Results for Manipulation, Bribery and Control of the Kemeny Procedure in Judgment Aggregation.
Christopher Pockrandt, Marcel Ehrhardt, Knut Reinert:
Constant-time and space-efficient unidirectional and bidirectional FM-indices using EPR-dictionaries.
Harald Kroll, Matthias Korb, Benjamin Weber, Samuel Willi, Qiuting Huang:
Maximum-Likelihood Detection for Energy-Efficient Timing Acquisition in NB-IoT.
Debasish Pattanayak, Kaushik Mondal, H. Ramesh, Partha Sarathi Mandal:
Fault-Tolerant Gathering of Mobile Robots with Weak Multiplicity Detection.
Sarah Alice Gaggl, Matthias Thimm:
Proceedings of the Second Summer School on Argumentation: Computational and Linguistic Perspectives (SSA'16).
Niklas Ekström, Seif Haridi:
A Fault-Tolerant Sequentially Consistent DSM With a Compositional Correctness Proof.
Laura Giordano, Daniele Theseider Dupré:
ASP for Minimal Entailment in a Rational Extension of SROEL.
Saeid Haghighatshoar, Giuseppe Caire:
Low-Complexity Massive MIMO Subspace Estimation and Tracking from Low-Dimensional Projections.
Ofir Pele, Yakir Ben-Aliz:
Interpolated Discretized Embedding of Single Vectors and Vector Pairs for Classification, Metric Learning and Distance Approximation.
Camila Souza Araujo, Wagner Meira Jr., Virgílio A. F. Almeida:
Identifying Stereotypes in the Online Perception of Physical Attractiveness.
Daniele Pucci:
Analysis and Control of Aircraft Longitudinal Dynamics subject to Steady Aerodynamic Forces.
Mohammadreza Kamaldar, Jesse B. Hoagg:
Multivariable Adaptive Harmonic Steady-State Control for Rejection of Sinusoidal Disturbances Acting on an Unknown System.
Marina Sokolova, Kanyi Huang, Stan Matwin, Joshua Ramisch, Vera Sazonova, Renee Black, Chris Orwa, Sidney Ochieng, Nanjira Sambuli:
Topic Modelling and Event Identification from Twitter Textual Data.
Manuel V. Hermenegildo, Pedro López-García:
Pre-proceedings of the 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016).
Jeffrey Pawlick, Quanyan Zhu:
A Stackelberg Game Perspective on the Conflict Between Machine Learning and Data Obfuscation.

Adnan Saher Mohammed, Sahin Emrah Amrahov, Fatih V. Celebi:
Bidirectional Conditional Insertion Sort algorithm; An efficient progress on the classical insertion sort.
Boxiang Dong, Zhengzhang Chen, Hui Wang, Lu An Tang, Kai Zhang, Ying Lin, Haifeng Chen, Guofei Jiang:
GID: Graph-based Intrusion Detection on Massive Process Traces for Enterprise Security Systems.
Ruocheng Guo, Elham Shaabani, Abhinav Bhatnagar, Paulo Shakarian:
Toward Early and Order-of-Magnitude Cascade Prediction in Social Networks.
Lev Nachmanson, Arlind Nocaj, Sergey Bereg, Leishi Zhang, Alexander E. Holroyd:
Node Overlap Removal by Growing a Tree.
Anis Elbahi, Mohamed Nazih Omri, Mohamed Ali Mahjoub, Kamel Garrouch:
Mouse Movement and Probabilistic Graphical Models Based E-Learning Activity Recognition Improvement Possibilistic Model.

François Le Gall:
Further Algebraic Algorithms in the Congested Clique Model and Applications to Graph-Theoretic Problems.

Amelia Harrison, Yuliya Lierler:
First-Order Modular Logic Programs and their Con: set servative Extensions.
Subhadeep Karan, Jaroslaw Zola:
Exact Structure Learning of Bayesian Networks by Optimal Path Extension.
Shuxing Li, Gennian Ge:
Constructions of Maximum Distance Separable Symbol-Pair Codes Using Cyclic and Constacyclic Codes.
Jo Devriendt, Bart Bogaerts, Maurice Bruynooghe, Marc Denecker:
On Local Domain Symmetry for Model Expansion.
Daniel Gebler, Kirstin Peters:
Proceedings Combined 23rd International Workshop on Expressiveness in Concurrency and 13th Workshop on Structural Operational Semantics, EXPRESS/SOS 2016, Québec City, Canada, 22nd August 2016. EPTCS 222, 2016 [contents]

Minxian Xu, Amir Vahid Dastjerdi, Rajkumar Buyya:
Energy Efficient Scheduling of Cloud Application Components with Brownout.
Feng Shi, Jianer Chen, Qilong Feng, Jianxin Wang:
Parameterized Algorithms for the Maximum Agreement Forest Problem on Multiple Rooted Multifurcating Trees.
Ashkan Mokarian, Mateusz Malinowski, Mario Fritz:
Mean Box Pooling: A Rich Image Representation and Output Embedding for the Visual Madlibs Task.
Kevis-Kokitsi Maninis, Jordi Pont-Tuset, Pablo Andrés Arbeláez, Luc Van Gool:
Convolutional Oriented Boundaries.
Arda Goknil, Ivan Kurtev, Klaas van den Berg:
A Rule-Based Change Impact Analysis Approach in Software Architecture for Requirements Changes.
(Withdrawn) SpEnD: Linked Data SPARQL Endpoints Discovery Using Search Engines.
Konstantin Yakovlev, Anton Andreychuk:
Resolving Spatial-Time Conflicts In A Set Of Any-angle Or Angle-constrained Grid Paths.
Ke Yu, Chao Dong, Chen Change Loy, Xiaoou Tang:
Deep Convolution Networks for Compression Artifacts Reduction.
Pedro López-García, Maximiliano Klemen, Umer Liqat, Manuel V. Hermenegildo:
A General Framework for Static Profiling of Parametric Resource Usage.
Helen Jiang, Nikos Papasarantopoulos, Shay B. Cohen:
Canonical Correlation Inference for Mapping Abstract Scenes to Text.
Zahra Shakeri, Waheed U. Bajwa, Anand D. Sarwate:
Minimax Lower Bounds on Dictionary Learning for Tensor Data.
Harsh Thakkar, Mohnish Dubey, Gezim Sejdiu, Axel-Cyrille Ngonga Ngomo, Jeremy Debattista, Christoph Lange, Jens Lehmann, Sören Auer, Maria-Esther Vidal:
LITMUS: An Open Extensible Framework for Benchmarking RDF Data Management Solutions.
Emanuele De Angelis, Fabio Fioravanti, Maria Chiara Meo, Alberto Pettorossi, Maurizio Proietti:
Verification of Time-Aware Business Processes using Constrained Horn Clauses.
Bronislav Pribyl, Pavel Zemcík, Martin Cadík:
Camera Pose Estimation from Lines using Plücker Coordinates.
Sohail Payami, Mir Ghoraishi, Mehrdad Dianati:
Hybrid Beamforming for Large Antenna Arrays with Phase Shifter Selection.
Mundher Al-Shabi, Wooi Ping Cheah, Tee Connie:
Facial Expression Recognition Using a Hybrid CNN-SIFT Aggregator.
Jan Mrkos, Jan Drchal, Malcolm Egan, Michal Jakob:
Liftago On-Demand Transport Dataset and Market Formation Algorithm Based on Machine Learning.
Marzieh Najafi, Vahid Jamali, Robert Schober:
Optimal Relay Selection for the Parallel Hybrid RF/FSO Relay Channel: Non-Buffer-Aided and Buffer-Aided Designs.
Jeff Alstott, Christine Klymko, Pamela B. Pyzza, Mary Radcliffe:
Local rewiring algorithms to increase clustering and grow a small world.
Konstantinos Koufos, Carl P. Dettmann:
Temporal Correlation of Interference and Outage in Mobile Networks With Correlated Mobility in Finite Regions.
Ayad Ghany Ismaeel, Dina Y. Mikhail:
Effective Data Mining Technique for Classification Cancers via Mutations in Gene using Neural Network.
Elvira Albert, Nikolaos Bezirgiannis, Frank S. de Boer, Enrique Martin-Martin:
A Formal, Resource Consumption-Preserving Translation of Actors to Haskell.
Jeniya Tabassum, Alan Ritter, Wei Xu:
A Minimally Supervised Method for Recognizing and Normalizing Time Expressions in Twitter.
Ke Zhang, Miao Sun, Tony X. Han, Xingfang Yuan, Liru Guo, Tao Liu:
Residual Networks of Residual Networks: Multilevel Residual Networks.
Konstantinos Koufos, Carl P. Dettmann, Justin P. Coon:
Correlated Interference from Uncorrelated Users in Bounded Ad Hoc Networks with Blockage.

Baskaran Sankaran, Haitao Mi, Yaser Al-Onaizan, Abe Ittycheriah:
Temporal Attention Model for Neural Machine Translation.
Tanmay Sinha:
Similarity in Observable Behaviors: A Synthesis of Studies with Implications for Socially-Aware Educational Technology Design.
John A. Quinn, Rose Nakasi, Pius K. B. Mugagga, Patrick Byanyima, William Lubega, Alfred Andama:
Deep Convolutional Neural Networks for Microscopy-Based Point of Care Diagnostics.
Eriglen Gani, Alda Kika:
Albanian Sign Language (AlbSL) Number Recognition from Both Hand's Gestures Acquired by Kinect Sensors.
Antonio Valerio Miceli Barone:
Towards cross-lingual distributed representations without parallel text trained with adversarial autoencoders.
Nicholas Locascio, Karthik Narasimhan, Eduardo DeLeon, Nate Kushman, Regina Barzilay:
Neural Generation of Regular Expressions from Natural Language with Minimal Domain Knowledge.
Santiago Segarra, Antonio G. Marques, Gonzalo Mateos, Alejandro Ribeiro:
Network Topology Inference from Spectral Templates.
Mohammadhussein Rafieisakhaei, Suman Chakravorty, P. R. Kumar:
Belief Space Planning Simplified: Trajectory-Optimized LQG (T-LQG) (Extended Report).
Yuncheng Li, Liangliang Cao, Jiang Zhu, Jiebo Luo:
Mining Fashion Outfit Composition Using An End-to-End Deep Learning Approach on Set Data.
Hubie Chen, Matthew Valeriote, Yuichi Yoshida:
Testing Assignments to Constraint Satisfaction Problems.
Sumeet Katariya, Branislav Kveton, Csaba Szepesvári, Claire Vernade, Zheng Wen:
Stochastic Rank-1 Bandits.
Lucius Schoenbaum:
Towards Visual Type Theory as a Mathematical Tool and Mathematical User Interface.
Aaron Jaech, George Mulcaire, Shobhit Hathi, Mari Ostendorf, Noah A. Smith:
Hierarchical Character-Word Models for Language Identification.
Jacob Hendricks, Matthew J. Patitz, Trent A. Rogers:
Universal Simulation of Directed Systems in the abstract Tile Assembly Model Requires Undirectedness.
Viorela Ila, Lukás Polok, Marek Solony, Pavel Svoboda:
Highly Efficient Compact Pose SLAM with SLAM++.
Md Shipon Ali, Ekram Hossain, Dong In Kim:
LTE/LTE-A Random Access for Massive Machine-Type Communications in Smart Cities.
Zhaokui Li, Jianbin Fang, Tao Tang, Xuhao Chen, Canqun Yang:
Streaming Applications on Heterogeneous Platforms.
Fred Mesnard, Étienne Payet, Germán Vidal:
On the Completeness of Selective Unification in Concolic Testing of Logic Programs.
Mohamed Mostafa, Tom Crick, Ana C. Calderon, Giles Oatley:
Incorporating Emotion and Personality-Based Analysis in User-Centered Modelling.
Benjamin Drayer, Thomas Brox:
Object Detection, Tracking, and Motion Segmentation for Object-level Video Segmentation.
Sungheon Park, Jihye Hwang, Nojun Kwak:
3D Human Pose Estimation Using Convolutional Neural Networks with 2D Pose Information.
Georgios C. Chasparis, Thomas Natschläger:
Regression Models for Output Prediction of Thermal Dynamics in Buildings.
Graham Cormode, Hossein Jowhari, Morteza Monemizadeh, S. Muthukrishnan:
The Sparse Awakens: Streaming Algorithms for Matching Size Estimation in Sparse Graphs.
Duc-Cuong Dang, Tobias Friedrich, Timo Kötzing, Martin S. Krejca, Per Kristian Lehre, Pietro Simone Oliveto, Dirk Sudholt, Andrew M. Sutton:
Escaping Local Optima using Crossover with Emergent or Reinforced Diversity.



Mariangiola Dezani-Ciancaglini, Paola Giannini:
Reversible Multiparty Sessions with Checkpoints. 60-74
Massimo Bartoletti, Ludovic Henrio, Sophia Knight, Hugo Torres Vieira:
Proceedings 9th Interaction and Concurrency Experience, ICE 2016, Heraklion, Greece, 8-9 June 2016. EPTCS 223, 2016 [contents]
Weiwei Wan, Hisashi Igawa, Kensuke Harada, Zepei Wu, Hiromu Onda, Kazuyuki Nagata, Natsuki Yamanobe:
A Mid-level Planning System for Object Reorientation.
Sharu Theresa Jose, Ankur A. Kulkarni:
Linear Programming based Converses for Finite Blocklength Lossy Joint Source-Channel Coding.
Vincent T. Lee, Justin Kotalik, Carlo C. del Mundo, Armin Alaghi, Luis Ceze, Mark Oskin:
Near Memory Similarity Search on Automata Processors.
Qingqing Wu, Geoffrey Ye Li, Wen Chen, Derrick Wing Kwan Ng:
Energy-Efficient Small Cell with Spectrum-Power Trading.
Jiangbin Lyu, Yong Zeng, Rui Zhang:
Cyclical Multiple Access in UAV-Aided Communications: A Throughput-Delay Tradeoff.
Nicolas Pena, Allan Borodin:
On the limitations of deterministic de-randomizations for online bipartite matching and max-sat.
Salvador Aguiñaga, Rodrigo Palácios, David Chiang, Tim Weninger:
Growing Graphs with Hyperedge Replacement Graph Grammars.
Ali Diba, Ali Mohammad Pazandeh, Hamed Pirsiavash, Luc Van Gool:
DeepCAMP: Deep Convolutional Action & Attribute Mid-Level Patterns.
Naji Khosravan, Haydar Celik, Baris Turkbey, Ruida Cheng, Evan S. McCreedy, Matthew J. McAuliffe, Sandra Bednarova, Elizabeth Jones, Xinjian Chen, Peter L. Choyke, Bradford J. Wood, Ulas Bagci:
Gaze2Segment: A Pilot Study for Integrating Eye-Tracking Technology into Medical Image Segmentation.
Roee David, Karthik C. S., Bundit Laekhanukit:
The Curse of Medium Dimension for Geometric Problems in Almost Every Norm.
Michael B. Cohen, Jonathan A. Kelner, John Peebles, Richard Peng, Aaron Sidford, Adrian Vladu:
Faster Algorithms for Computing the Stationary Distribution, Simulating Random Walks, and More.
Hrushikesh Mhaskar, Tomaso A. Poggio:
Deep vs. shallow networks : An approximation theory perspective.
Zhi-Zhong Chen, Guohui Lin, Lusheng Wang, Yong Chen:
Approximation algorithms for the maximum weight internal spanning tree problem.
Luiza Nacshon, Rami Puzis, Polina Zilberman:
Floware: Balanced Flow Monitoring in Software Defined Networks.
Himalaya Jain, Patrick Pérez, Rémi Gribonval, Joaquin Zepeda, Hervé Jégou:
Approximate search with quantized sparse representations.
Arkadev Chattopadhyay, Michael Langberg, Shi Li, Atri Rudra:
Tight Network Topology Dependent Bounds on Rounds of Communication.
Henryk Michalewski, Matteo Mio, Mikolaj Bojanczyk:
On the Regular Emptiness Problem of Subzero Automata. 1-23



Anastasia Mavridou, Eduard Baranov, Simon Bliudze, Joseph Sifakis:
Architecture Diagrams: A Graphical Language for Architecture Style Specification. 83-97
Alexis Bernadet, Ivan Lanese:
A Modular Formalization of Reversibility for Concurrent Models and Languages. 98-112
Seyed H. Haeri (Hossein), Peter Van Roy, Carlos Baquero, Christopher Meiklejohn:
Worlds of Events: Deduction with Partial Knowledge about Causality. 113-127
Chiara Bodei, Pierpaolo Degano, Gian Luigi Ferrari, Letterio Galletta:
A Step Towards Checking Security in IoT. 128-142
Kuan Liu, Xing Shi, Anoop Kumar, Linhong Zhu, Prem Natarajan:
Temporal Learning and Sequence Modeling for a Job Recommender System.
Chenwei Zhang, Sihong Xie, Yaliang Li, Jing Gao, Wei Fan, Philip S. Yu:
Multi-source Hierarchical Prediction Consolidation.
Yutaka Nagashima, Liam O'Connor:
Close Encounters of the Higher Kind Emulating Constructor Classes in Standard ML.

Ravi Kiran Sarvadevabhatla, Jogendra Kundu, Radhakrishnan Venkatesh Babu:
Enabling My Robot To Play Pictionary : Recurrent Neural Networks For Sketch Recognition.
Shenghua Liu, Houdong Zheng, Huawei Shen, Xiangwen Liao, Xueqi Cheng:
Learning Sentimental Influences from Users' Behaviors.
Nitigya Sambyal, Pawanesh Abrol:
Automatic text extraction and character segmentation using maximally stable extremal regions.
Behzad Asadi, Lawrence Ong, Sarah J. Johnson:
The DoF Region of the Three-Receiver MIMO Broadcast Channel with Side Information and Its Relation to Index Coding Capacity.
Yuzhe Xu, Hossein Shokri Ghadikolaei, Carlo Fischione:
Distributed Association and Relaying with Fairness in Millimeter Wave Networks.
Lun Liu, Hui Wang, Chunyang Wu:
A machine learning method for the large-scale evaluation of urban visual environment.

Francis Wyffels, Willem Van de Steene, Jelle Roets, Maria-Cristina Ciocci, Juan Pablo Carbajal:
Building ArtBots to Attract Students into STEM Learning.
Tatiana Tommasi, Arun Mallya, Bryan A. Plummer, Svetlana Lazebnik, Alexander C. Berg, Tamara L. Berg:
Solving Visual Madlibs with Multiple Cues.
Hadrien Barral, Houda Ferradi, Rémi Géraud, Georges-Axel Jaloyan, David Naccache:
ARMv8 Shellcodes from 'A' to 'Z'.
Dan Stowell, Mike Wood, Yannis Stylianou, Hervé Glotin:
Bird detection in audio: a survey and a challenge.
María Alpuente, Angel Cuenca-Ortega, Santiago Escobar, José Meseguer:
Partial Evaluation of Order-sorted Equational Programs modulo Axioms.
Asma Afzal, Syed Ali Raza Zaidi, Desmond C. McLernon, Mounir Ghogho:
Information-Centric Offloading in Cellular Networks with Coordinated Device-to-Device Communication.
Tong Xin, Bin Guo, Zhu Wang, Mingyang Li, Zhiwen Yu:
FreeSense: Indoor Human Identification with WiFi Signals.
Mordechai Guri, Yosef A. Solewicz, Andrey Daidakulov, Yuval Elovici:
DiskFiltration: Data Exfiltration from Speakerless Air-Gapped Computers via Covert Hard Drive Noise.
Emmanuel Maggiori, Yuliya Tarabalka, Guillaume Charpiat, Pierre Alliez:
Recurrent Neural Networks to Enhance Satellite Image Classification Maps.
Thomas Maillart, Mingyi Zhao, Jens Grossklags, John Chuang:
Given Enough Eyeballs, All Bugs Are Shallow? Revisiting Eric Raymond with Bug Bounty Programs.


Nguyen Cong Luong, Dinh Thai Hoang, Ping Wang, Dusit Niyato, Dong In Kim, Zhu Han:
Data Collection and Wireless Communication in Internet of Things (IoT) Using Economic Analysis and Pricing Models: A Survey.
Ramin Rahnamoun, Reza Rawassizadeh, Arash Maskooki:
Learning Mobile App Usage Routine through Learning Automata.
Nihir Patel, Jason T. L. Wang:
Semi-Supervised Prediction of Gene Regulatory Networks Using Machine Learning Algorithms.

Jianjun Yang, Ju Shen, Ping Guo, Bryson Payne, Tongquan Wei:
A Machine Learning Based Forwarding Algorithm Over Cognitive Radios in Wireless Mesh Networks.
Daniel Hewlett, Alexandre Lacoste, Llion Jones, Illia Polosukhin, Andrew Fandrianto, Jay Han, Matthew Kelcey, David Berthelot:
WikiReading: A Novel Large-scale Language Understanding Task over Wikipedia.
Shuai Li, Claudio Gentile, Alexandros Karatzoglou, Giovanni Zappella:
Online Context-Dependent Clustering in Recommendations based on Exploration-Exploitation Algorithms.
David A. Richie, James A. Ross:
OpenCL + OpenSHMEM Hybrid Programming Model for the Adapteva Epiphany Architecture.
Nikos Bikakis, Chrisa Tsinaraki, Nektarios Gioldasis, Ioannis Stavrakantonakis, Stavros Christodoulakis:
The XML and Semantic Web Worlds: Technologies, Interoperability and Integration. A Survey of the State of the Art.
Peter Mancini, Benjamin Bengfort, Ben Shneiderman:
Interactive Exploration of the Employment Situation Report: From Fixed Tables to Dynamic Discovery.
Argyrios Deligkas, John Fearnley, Rahul Savani:
Inapproximability Results for Approximate Nash Equilibria.
Alexandr Andoni, Thijs Laarhoven, Ilya P. Razenshteyn, Erik Waingarten:
Optimal Hashing-based Time-Space Trade-offs for Approximate Near Neighbors.
Alexander Koplenig, Peter Meyer, Sascha Wolfer, Carolin Müller-Spitzer:
The statistical trade-off between word order and word structure - large-scale evidence for the principle of least effort.
Thomas Maillart, Didier Sornette:
Aristotle vs. Ringelmann: A response to Scholtes et al. on Superlinear Production in Open Source Software.
Evan Shelhamer, Kate Rakelly, Judy Hoffman, Trevor Darrell:
Clockwork Convnets for Video Semantic Segmentation.
Rafiqul Islam, Iftekharul Mobin, Md. Nazmus Shakib, Md Matiur Rahman:
An approach of IR-Based short-range correspondence systems for swarm robot balanced requisitions and communications.

Yongxin Chen, Tryphon T. Georgiou, Michele Pavon:
Optimal steering of a linear stochastic system to a final probability distribution, Part III.
Mattia Fazzini, Eduardo Noronha de A. Freitas, Shauvik Roy Choudhary, Alessandro Orso:
From Manual Android Tests to Automated and Platform Independent Test Scripts.
Andreas Mang, Amir Gholami, George Biros:
Distributed-memory large deformation diffeomorphic 3D image registration.
Yongyu Dai, Xiaodai Dong, Hai Lin:
Downlink Performance of Pilot-Reused HetNet with Large-Scale Antenna Arrays.
Yongyu Dai, Xiaodai Dong, Wu-Sheng Lu:
MSE-based Precoding for MIMO Downlinks in Heterogeneous Networks.
Jack Lanchantin, Ritambhara Singh, Beilun Wang, Yanjun Qi:
Deep GDashboard: Visualizing and Understanding Genomic Sequences Using Deep Neural Networks.

Roberto Amadini, Pierre Flener, Justin Pearson, Joseph D. Scott, Peter J. Stuckey, Guido Tack:
MiniZinc with Strings.
Rui Fan, Ke Xu, Jichang Zhao:
Easier contagion and weaker ties make anger spread faster than joy in social media.
Xiaomao Mao, Huifang Chen, Peiliang Qiu:
An Algorithm to Realize Rate-Splitting in Gaussian Multi-access Channel.
Xiaomao Mao, Huifang Chen, Peiliang Qiu:
To Prolong the Lifetime of Wireless Sensor Networks: The Min-max Fair Scheduling in a Multi-access Contra-Polymatroid.
Wei Wen, Chunpeng Wu, Yandan Wang, Yiran Chen, Hai Li:
Learning Structured Sparsity in Deep Neural Networks.
Martin Lukac, Kamila Abdiyeva, Michitaka Kameyama:
Reasoning and Algorithm Selection Augmented Symbolic Segmentation.
Guillermo L. Grinblat, Ariel E. Bayá, Diego H. Milone, Pablo M. Granitto, Georgina Stegmayer:
Inferring unknown biological function by integration of GO annotations and gene expression data.


A. Borumand Saeid, Cristina Flaut, Sárka Hosková-Mayerová, Roxana-Lavinia Cristea, Morteza Afshar, M. Kuchaki Rafsanjani:
Some connections between BCK algebras and n ary block codes.

Raymond W. Yeung, Ali Al-Bashabsheh, Chao Chen, Qi Chen, Pierre Moulin:
On Characterizations of Markov Random Fields and Subfields.
Mike Koivisto, Mário Costa, Aki Hakkarainen, Kari Leppänen, Mikko Valkama:
Joint 3D Positioning and Network Synchronization in 5G Ultra-Dense Networks Using UKF and EKF.
Aibek Ryskaliyev, Sanzhar Askaruly, Alex Pappachen James:
Speech Signal Analysis for the Estimation of Heart Rates Under Different Emotional States.
Yuriy Kozachenko, Andriy Olenko:
Aliasing-truncation Errors in Sampling Approximations of Sub-Gaussian Signals.
Philipp Morgner, Stephan Mattejat, Zinaida Benenson:
All Your Bulbs Are Belong to Us: Investigating the Current State of Security in Connected Lighting Systems.
Bilal Qureshi, Faisal Kamiran, Asim Karim, Salvatore Ruggieri:
Causal Discrimination Discovery Through Propensity Score Analysis.
Vahid Jamali, Arman Ahmadzadeh, Christophe Jardin, Heinrich Sticht, Robert Schober:
Channel Estimation for Diffusive Molecular Communications.
(Withdrawn) Self-paced Learning for Weakly Supervised Evidence Discovery in Multimedia Event Search.
Dong Liu, Chenyang Yang:
Caching Policy Toward Maximal Success Probability and Area Spectral Efficiency of Cache-enabled HetNets.
Stefano Salsano, Fabio Patriarca, Francesco Lo Presti, Francesco Fedi:
Accurate and efficient measurements of IP level performance to drive interface selection in heterogeneous wireless networks.
Michael Spranger, Sucheendra K. Palaniappan, Samik Ghosh:
Extracting Biological Pathway Models From NLP Event Representations.
Michael Spranger, Sucheendra K. Palaniappan, Samik Ghosh:
Measuring the State of the Art of Automated Pathway Curation Using Graph Algorithms - A Case Study of the mTOR Pathway.
Alan Gous, Arash Afrakhteh, John Evans:
A Comparison of Approaches for Traffic Engineering in IP and MPLS Networks.
Manfred Schmidt-Schauß, Temur Kutsia, Jordi Levy, Mateu Villaret:
Nominal Unification of Higher Order Expressions with Recursive Let.
Martin Danelljan, Andreas Robinson, Fahad Shahbaz Khan, Michael Felsberg:
Beyond Correlation Filters: Learning Continuous Convolution Operators for Visual Tracking.
Mike Koivisto, Aki Hakkarainen, Mário Costa, Petteri Kela, Kari Leppänen, Mikko Valkama:
High-Efficiency Device Positioning and Location-Aware Communications in Dense 5G Networks.


Andrey Kutuzov, Erik Velldal, Lilja Øvrelid:
Redefining part-of-speech classes with distributional semantic models.
Chenyou Fan, David J. Crandall:
DeepDiary: Automatic Caption Generation for Lifelogging Image Streams.
Ali Najdi Al-Shuwaili, Osvaldo Simeone, Jörg Kliewer, Petar Popovski:
Coded Network Function Virtualization: Fault Tolerance via In-Network Coding.
Rajdeep Das, Umair Z. Ahmed, Amey Karkare, Sumit Gulwani:
Prutor: A System for Tutoring CS1 and Collecting Student Programs for Analysis.
Martin Lukac, Kamila Abdiyeva, Michitaka Kameyama:
On Minimal Accuracy Algorithm Selection in Computer Vision and Intelligent Systems.
Michael X. Grey, Aaron D. Ames, C. Karen Liu:
Traversing Environments Using Possibility Graphs for Humanoid Robots.
Datong Zhou, Maximilian Balandat, Claire Tomlin:
A Bayesian Perspective on Residential Demand Response Using Smart Meter Data.
Shripad Gade, Nitin H. Vaidya:
Distributed Optimization for Client-Server Architecture with Negative Gradient Weights.
Hassan Khodaiemehr, Dariush Kiani, Mohammad-Reza (Rafsanjani) Sadeghi:
LDPC Lattice Codes for Full-Duplex Relay Channels.
Miguel Calvo-Fullana, Javier Matamoros, Carles Antón-Haro:
Sensor Selection and Power Allocation Strategies for Energy Harvesting Wireless Sensor Networks.
Hao Wu, Maoyuan Sun, Jilles Vreeken, Nikolaj Tatti, Chris North, Naren Ramakrishnan:
Interactive and Iterative Discovery of Entity Network Subgraphs.
Dat Tien Nguyen, Kamla Al-Mannai, Shafiq R. Joty, Hassan Sajjad, Muhammad Imran, Prasenjit Mitra:
Rapid Classification of Crisis-Related Data on Social Networks using Convolutional Neural Networks.
Georgios-Ioannis Brokos, Prodromos Malakasiotis, Ion Androutsopoulos:
Using Centroids of Word Embeddings and Word Mover's Distance for Biomedical Document Retrieval in Question Answering.
Ruizhi Liao, Esra A. Turk, Miaomiao Zhang, Jie Luo, P. Ellen Grant, Elfar Adalsteinsson, Polina Golland:
Temporal Registration in In-Utero Volumetric MRI Time Series.
Paul Tarau:
A Hiking Trip Through the Orders of Magnitude: Deriving Efficient Generators for Closed Simply-Typed Lambda Terms and Normal Forms.
Keze Wang, Shengfu Zhai, Hui Cheng, Xiaodan Liang, Liang Lin:
Human Pose Estimation from Depth Images via Inference Embedded Multi-task Learning.
Lijun Zhang, Tianbao Yang, Jinfeng Yi, Rong Jin, Zhi-Hua Zhou:
Improved dynamic regret for non-degeneracy functions.
Christopher Thompson, Joshua Introne, Clint Young:
Determining Health Utilities through Data Mining of Social Media.
AbdelRahman Abdou, Paul C. van Oorschot:
Server Location Verification and Server Location Pinning: Augmenting TLS Authentication.
Md. Jawaherul Alam, Michael B. Dillencourt, Michael T. Goodrich:
Capturing Lombardi Flow in Orthogonal Drawings by Minimizing the Number of Segments.
Polykarpos Thomadakis, Antonios Argyriou:
Reed-Solomon and Concatenated Codes with Applications in Space Communication.
Katayoun Rahbar, Mohammad R. Vedady Moghadam, Sanjib Kumar Panda, Thomas Reindl:
Energy Management for Demand Responsive Users with Shared Energy Storage System.
Kai Zhang, Wangmeng Zuo, Yunjin Chen, Deyu Meng, Lei Zhang:
Beyond a Gaussian Denoiser: Residual Learning of Deep CNN for Image Denoising.
Mathias Louboutin, Michael Lange, Felix J. Herrmann, Navjot Kukreja, Gerard Gorman:
Performance prediction of finite-difference solvers for different computer architectures.
Sebastian Wandelt, Xiaoqian Sun:
Efficient and Accurate Robustness Estimation for Large Complex Networks.
Chong Shangguan, Yiwei Zhang, Gennian Ge:
Centralized coded caching schemes: A hypergraph theoretical approach.
Anand Pratap Singh, Shivaji Medida, Karthik Duraisamy:
Machine Learning-augmented Predictive Modeling of Turbulent Separated Flows over Airfoils.

Shahab Asoodeh, Fady Alajaji, Tamás Linder:
Almost Perfect Privacy for Additive Gaussian Privacy Filters.
Zhili Zhou, Tachun Lin, Krishnaiyan Thulasiraman:
Survivable Cloud Network Design Against Multiple Failures Through Protecting Spanning Trees.
J. J. Garcia-Luna-Aceves, Maziar Mirzazad Barijough:
Efficient Multicasting in Content-Centric Networks Using Datagrams.
Nico Becker, Markus Fidler:
A Non-stationary Service Curve Model for Estimation of Cellular Sleep Scheduling.

Davi E. N. Frossard, Igor O. Nunes, Renato A. Krohling:
An approach to dealing with missing values in heterogeneous data using k-nearest neighbors.
Alexander Chen, Alan Edelman, Jeremy Kepner, Vijay Gadepally, Dylan Hutchison:
Julia Implementation of the Dynamic Distributed Dimensional Data Model.
Arturo Deza, Miguel P. Eckstein:
Can Peripheral Representations Improve Clutter Metrics on Complex Scenes?
Kyle Simek, Ravishankar Palanivelu, Kobus Barnard:
Branching Gaussian Processes with Applications to Spatiotemporal Reconstruction of 3D Trees.
J. J. Garcia-Luna-Aceves, Maziar Mirzazad Barijough, Ehsan Hemmati:
Content-Centric Networking at Internet Scale through The Integration of Name Resolution and Routing.
Ting Liu, Miaomiao Zhang, Mehran Javanmardi, Nisha Ramesh, Tolga Tasdizen:
SSHMT: Semi-supervised Hierarchical Merge Tree for Electron Microscopy Image Segmentation.
(Withdrawn) Stacked Approximated Regression Machine: A Simple Deep Learning Approach.
Hyun-Chul Kim:
Bayesian Model Selection Methods for Mutual and Symmetric $k$-Nearest Neighbor Classification.
Sumit Jagdish Darak, A. Prasad Vinod, Edmund Ming-Kit Lai:
Design of Variable Bandpass Filters Using First Order Allpass Transformation And Coefficient Decimation.
Sumit Jagdish Darak, A. Prasad Vinod, Edmund Ming-Kit Lai:
A Low Complexity Spectrum Sensing Scheme for Estimating Frequency Band Edges in Multi-Standard Military Communication Receivers.
Sungho Shin, Kyuyeon Hwang, Wonyong Sung:
Generative Transfer Learning between Recurrent Neural Networks.
Sungho Shin, Wonyong Sung:
Dynamic Hand Gesture Recognition for Wearable Devices with Low Complexity Recurrent Neural Networks.
Evgeny Lipovetsky, Nira Dyn:
A weighted binary average of point-normal pairs with application to subdivision schemes.
Kerry Zhang, Jussi Karlgren, Cheng Zhang, Jens Lagergren:
Viewpoint and Topic Modeling of Current Events.
Shiyu Ji:
On Credit-based Incentive Mechanisms of Voluntary User Comment Reviewing in Social Networks.



Raja Naeem Akram, Konstantinos Markantonakis, Keith Mayes, Pierre-François Bonnefoi, Damien Sauveron, Serge Chaumette:
Security and Performance Comparison of Different Secure Channel Protocols for Avionics Wireless Networks.
Raja Naeem Akram, Konstantinos Markantonakis, Keith Mayes, Pierre-François Bonnefoi, Damien Sauveron, Serge Chaumette:
An Efficient, Secure and Trusted Channel Protocol for Avionics Wireless Networks.
Michal Drozdzal, Eugene Vorontsov, Gabriel Chartrand, Samuel Kadoury, Chris Pal:
The Importance of Skip Connections in Biomedical Image Segmentation.
Massimo Cairo, Carlo Comin, Romeo Rizzi:
Instantaneous Reaction-Time in Dynamic-Consistency Checking of Conditional Simple Temporal Networks.



Georgios P. Spithourakis, Isabelle Augenstein, Sebastian Riedel:
Numerically Grounded Language Models for Semantic Error Correction.
Amparo Gil, Diego Ruiz-Antolín, Javier Segura, Nico M. Temme:
Computation of the incomplete gamma function for negative values of the argument.
Ahmet Yasin Yazicioglu, Mardavij Roozbehani, Munther A. Dahleh:
Resilience of Locally Routed Network Flows: More Capacity is Not Always Better.
Laura Guzman Flores, Stephen Makonin, Roger Alex Clapp:
CarbonKit: a technological platform for personal carbon tracking.
Ziyi Li, He Chen, Yonghui Li, Branka Vucetic:
Incremental Accumulate-then-Forward Relaying in Wireless Energy Harvesting Cooperative Networks.
Zhiqiang Xia, Ce Zhu, Zhengtao Wang, Qi Guo, Yipeng Liu:
Every Filter Extracts A Specific Texture In Convolutional Neural Networks.
Yuanlong Li, Han Hu, Yonggang Wen, Jun Zhang:
Power Series Classification: A Hybrid of LSTM and a Novel Advancing Dynamic Time Warping.
Harini Kolamunna, Jagmohan Chauhan, Yining Hu, Kanchana Thilakarathna, Diego Perino, Dwight J. Makaroff, Aruna Seneviratne:
Are wearable devices ready for HTTPS? Measuring the cost of secure communication protocols on wearable devices.
Minh-Tien Nguyen, Viet-Anh Phan, Truong-Son Nguyen, Minh-Le Nguyen:
Learning to Rank Questions for Community Question Answering with Ranking SVM.

Fan Lai, Feng Qiu, Wenjie Bian, Ying Cui, Edmund M. Yeh:
Scaled VIP Algorithms for Joint Dynamic Forwarding and Caching in Named Data Networks.
Zhiwu Huang, Ruiping Wang, Shiguang Shan, Luc Van Gool, Xilin Chen:
Cross Euclidean-to-Riemannian Metric Learning with Application to Face Recognition from Video.
Yossi Adi, Einat Kermany, Yonatan Belinkov, Ofer Lavi, Yoav Goldberg:
Fine-grained Analysis of Sentence Embeddings Using Auxiliary Prediction Tasks.
Van-Dinh Nguyen, Le-Nam Tran, Trung Quang Duong, Oh-Soon Shin, Ronan Farrell:
An Efficient Precoder Design for Multiuser MIMO Cognitive Radio Networks with Interference Constraints.
Yangming Zhou, Jin-Kao Hao:
An iterated local search algorithm for the minimum differential dispersion problem.
Zongyan Huang, Matthew England, James H. Davenport, Lawrence C. Paulson:
Using Machine Learning to Decide When to Precondition Cylindrical Algebraic Decomposition With Groebner Bases.


André Brock, Theodore Lim, James M. Ritchie, Nick Weston:
Generative and Discriminative Voxel Modeling with Convolutional Neural Networks.
Arpan Chattopadhyay, Bartlomiej Blaszczyszyn, Eitan Altman:
Location Aware Opportunistic Bandwidth Sharing between Static and Mobile Users with Stochastic Learning in Cellular Networks.
Zihan Zhou, Farshid Farhat, James Z. Wang:
Detecting Vanishing Points in Natural Scenes with Application in Photo Composition Analysis.
Salman Fadaei, Martin Bichler:
Generalized Assignment Problem: Truthful Mechanism Design without Money.
Pilailuck Panphattarasap, Andrew Calway:
Visual place recognition using landmark distribution descriptors.

Razvan Deaconescu, Luke Deshotels, Mihai Bucicoiu, William Enck, Lucas Davi, Ahmad-Reza Sadeghi:
SandBlaster: Reversing the Apple Sandbox.
Zhangjie Cao, Mingsheng Long, Qiang Yang:
Transitive Hashing Network for Heterogeneous Multimedia Retrieval.
Ahmet Yasin Yazicioglu, Waseem Abbas, Magnus Egerstedt:
Graph Distances and Controllability of Networks.

Namrata Vaswani, Han Guo:
Correlated-PCA: Principal Components' Analysis when Data and Noise are Correlated.
Jared Culbertson, Dan P. Guralnik, Jakob Hansen, Peter F. Stiller:
Consistency constraints for overlapping data clustering.
Dirk Pflüger, Miriam Mehl, Julian Valentin, Florian Lindner, Stefan Wagner, Daniel Graziotin, Yang Wang:
The SE/MP Trade-off in Simulation Software Engineering: Examples and a Preliminary Systematic Literature Review.

Elena Garces, Jose I. Echevarria, Wen Zhang, Hongzhi Wu, Kun Zhou, Diego Gutierrez:
Intrinsic Light Fields.
Bilal Abbasi, Jeff Calder, Adam M. Oberman:
Anomaly detection and classification for streaming data using partial differential equations.
Josh Alman, Timothy M. Chan, Ryan Williams:
Polynomial Representations of Threshold Functions and Algorithmic Applications.

Justin Salamon, Juan Pablo Bello:
Deep Convolutional Neural Networks and Data Augmentation for Environmental Sound Classification.
Jun Wu, Niels Aage, Rüdiger Westermann, Ole Sigmund:
Infill Optimization for Additive Manufacturing - Approaching Bone-like Porous Structures.
Ravishankar Ravindran, Changcheng Huang, Krishnaiyan Thulasiraman, Tachun Lin:
Topology Abstraction Service for IP VPNs: Core Network Partitioning for Resource Sharing.
Vitaly Feldman:
Generalization of ERM in Stochastic Convex Optimization: The Dimension Strikes Back.
Ekaterina Komendantskaya, Patricia Johann, Martin Schmidt:
A Productivity Checker for Logic Programming.

Alexander L. Gaunt, Marc Brockschmidt, Rishabh Singh, Nate Kushman, Pushmeet Kohli, Jonathan Taylor, Daniel Tarlow:
TerpreT: A Probabilistic Programming Language for Program Induction.
Richard Barnes:
Parallel Non-divergent Flow Accumulation For Trillion Cell Digital Elevation Models On Desktops Or Clusters.

Jiaqi Gu, Rodrigo C. de Lamare:
Distributed Space-Time Coding Techniques with Dynamic Buffers for Cooperative DS-CDMA Systems.
Alireza Majzoobi, Amin Khodaei:
Application of Microgrids in Addressing Distribution Network Net-Load Ramping.
Alireza Majzoobi, Amin Khodaei:
Leveraging Microgrids for Capturing Uncertain Distribution Network Net Load Ramping.

Thorsten Joachims, Adith Swaminathan, Tobias Schnabel:
Unbiased Learning-to-Rank with Biased Feedback.
Arijit Khan, Francesco Bonchi, Francesco Gullo, Andreas Nufer:
Conditional Reliability in Uncertain Graphs.
Ali Moharrer, Shuangqing Wei, George T. Amariucai, Jing Deng:
Layered Synthesis of Latent Gaussian Trees.
Praveen B. Sarangamath, Kiran A. Gupta:
A Novel Implementation for Automated Health Monitoring System.
Rahul Islam, Karan Ahuja, Sandip Karmakar, Ferdous A. Barbhuiya:
SenTion: A framework for Sensing Facial Expressions.
Chunping Zhang, Zhe Ji, Qing Wang:
Unconstrained Two-parallel-plane Model for Focused Plenoptic Cameras Calibration.
Gidi Elazar, Alfred M. Bruckstein:
AntPaP: Patrolling and Fair Partitioning of Graphs by A(ge)nts Leaving Pheromone Traces.
Zhiyuan Zha, Xinggan Zhang, Xin Liu, Ziheng Zhou, Jingang Shi, Shouren Lan, Yang Chen, Yechao Bai, Qiong Wang, Lan Tang:
Image Restoration using Group Sparse Representation via Weighted Nuclear Norm Minimization.
Seok-Hwan Park, Osvaldo Simeone, Shlomo Shamai:
Time-Asynchronous Robust Cooperative Transmission for the Downlink of C-RAN.
Stephan Druskat:
A Proposal for the Measurement and Documentation of Research Software Sustainability in Interactive Metadata Repositories.
Fabrice Benhamouda, Tancrède Lepoint, Claire Mathieu, Hang Zhou:
Optimization of Bootstrapping in Circuits.
Joachim van der Herten, Ivo Couckuyt, Dirk Deschrijver, Tom Dhaene:
Fast Calculation of the Knowledge Gradient for Optimization of Deterministic Engineering Simulations.
Der-Yeuan Yu, Aanjhan Ranganathan, Ramya Jayaram Masti, Claudio Soriente, Srdjan Capkun:
SALVE: Server Authentication with Location VErification.
Brunella Spinelli, L. Elisa Celis, Patrick Thiran:
Observer Placement for Source Localization: The Effect of Budgets and Transmission Variance.
Alessandro Cultrera, Luca Callegaro:
A simple algorithm to find the L-curve corner in the regularization of inverse problems.
Dario Banfi, Olivier Mehani, Guillaume Jourjon, Lukas Schwaighofer, Ralph Holz:
Endpoint-transparent Multipath Transport with Software-defined Networks.
Ru-Ze Liang, Wei Xie, Weizhi Li, Hongqi Wang, Jim Jing-Yan Wang, Lisa Taylor:
A novel transfer learning method based on common space mapping and weighted domain matching.
Sigurd Løkse, Filippo Maria Bianchi, Robert Jenssen:
Training Echo State Networks with Regularization through Dimensionality Reduction.
Luisa Bentivogli, Arianna Bisazza, Mauro Cettolo, Marcello Federico:
Neural versus Phrase-Based Machine Translation Quality: a Case Study.
Hamed Karimi, Julie Nutini, Mark W. Schmidt:
Linear Convergence of Gradient and Proximal-Gradient Methods Under the Polyak-Łojasiewicz Condition.
Peter Bertholet, Alexandru Eugen Ichim, Matthias Zwicker:
Temporally Consistent Motion Segmentation from RGB-D Video.
Francesco Alderisio, Maria Lombardi, Gianfranco Fiore, Mario di Bernardo:
Study of movement coordination in human ensembles via a novel computer-based set-up.
Mohammad Hosseini, Yu Jiang, Po-Liang Wu, Richard B. Berlin Jr., Shangping Ren, Lui Sha:
A Pathophysiological Model-Driven Communication for Dynamic Distributed Medical Best Practice Guidance Systems.

Marcel von Maltitz, Cornelius Diekmann, Georg Carle:
Taint Analysis for System-Wide Privacy Audits: A Framework and Real-World Case Studies.
Alon Kipnis, Andrea J. Goldsmith, Yonina C. Eldar:
The Distortion-Rate Function of Sampled Wiener Processes.

Martin Renqiang Min, Hongyu Guo, Dongjin Song:
A Shallow High-Order Parametric Approach to Data Visualization and Compression.
Diego Fabregat-Traver, Ahmed E. Ismail, Paolo Bientinesi:
Accelerating scientific codes by performance and accuracy modeling.

V. Sriram Siddhardh Nadendla, Vinod Sharma, Pramod K. Varshney:
On Strategic Multi-Antenna Jamming in Centralized Detection Networks.
Saeed Nejati, Jia Hui Liang, Vijay Ganesh, Catherine H. Gebotys, Krzysztof Czarnecki:
Adaptive Restart and CEGAR-based Solver for Inverting Cryptographic Hash Functions.
Marcel Köster, Antonio Krüger:
Adaptive Position-Based Fluids: Improving Performance of Fluid Simulations for Real-Time Applications.
Samuel Birns, Bohyun Kim, Stephanie Ku, Kevin Stangl, Deanna Needell:
A Practical Study of Longitudinal Reference Based Compressed Sensing for MRI.
Themistoklis Gouleakis, Christos Tzamos, Manolis Zampetakis:
Faster Sublinear Algorithms using Conditional Sampling.
Mauro Conti, Fabio De Gaspari, Luigi V. Mancini:
Know Your Enemy: Stealth Configuration-Information Gathering in SDN.
Steven Neale, Valeria de Paiva, Arantxa Otegi, Alexandre Rademaker:
Proceedings of the LexSem+Logics Workshop 2016.
Davide Bilò, Luciano Gualà, Stefano Leucci, Guido Proietti:
Compact and Fast Sensitivity Oracles for Single-Source Distances.
Peng Wang, Yonghui Li, Yuexing Peng, Soung Chang Liew, Branka Vucetic:
Non-Uniform Linear Antenna Array Design and Optimization for Millimeter Wave Communications.
Steven Tang, Joshua C. Peterson, Zachary A. Pardos:
Modelling Student Behavior using Granular Large Scale Action Data from a MOOC.
Austin Luchsinger, Robert T. Schweller, Tim Wylie:
Self-Assembly of Shapes at Constant Scale using Repulsive Forces.
Hao Fang, Hao Cheng, Mari Ostendorf:
Learning Latent Local Conversation Modes for Predicting Community Endorsement in Online Discussions.
(Withdrawn) A Python Package for Automatic Solution of Ordinary Differential Equations with Spectral Methods.
Jae Sung Park, Chonhyon Park, Dinesh Manocha:
Intention-Aware Motion Planning Using Learning Based Human Motion Prediction.
Ghassen Jerfel, Mehmet Emin Basbug, Barbara E. Engelhardt:
Dynamic Collaborative Filtering with Compound Poisson Factorization.
Isaac C. Sheff, Tom Magrino, Jed Liu, Andrew C. Myers, Robbert van Renesse:
Safe Serializable Secure Scheduling: Transactions and the Trade-off Between Security and Consistency.
Giuseppe Vizzari, Stefania Bandini:
Essentials of an Integrated Crowd Management Support System Based on Collective Artificial Intelligence.
(Withdrawn) Quality adaptive online double auction in participatory sensing.
Swapnil Mishra, Marian-Andrei Rizoiu, Lexing Xie:
Feature Driven and Point Process Approaches for Popularity Prediction.
Kahina Meslem, Éric Sopena:
On the Distinguishing Number of Cyclic Tournaments: Towards Albertson-Collins Conjecture.
Keunwoo Choi, George Fazekas, Mark B. Sandler:
Towards Music Captioning: Generating Music Playlist Descriptions.
Sandipan Sikdar, Matteo Marsili, Niloy Ganguly, Animesh Mukherjee:
Anomalies in the peer-review system: A case study of the journal of High Energy Physics.
Seung-Woo Ko, Kaibin Huang, Seong-Lyun Kim, Hyukjin Chae:
Online Prefetching for Mobile Computation Offloading.
Weiye Zheng, WenChuan Wu, Boming Zhang, Yongjie Wang:
Robust Reactive Power Optimization and Voltage Control Method for Active Distribution Networks via Dual Time-scale Coordination.
Miao Du:
Opaque Response Generation Enabling Automatic Creation of Virtual Services for Service Virtualisation.
Xiang Zhang, Jiarui Sun, Siwei Ma, Zhouchen Lin, Jian Zhang, Shiqi Wang, Wen Gao:
Globally Variance-Constrained Sparse Representation for Image Set Compression.
Zhiwu Huang, Ruiping Wang, Xianqiu Li, Wenxian Liu, Shiguang Shan, Luc Van Gool, Xilin Chen:
Geometry-aware Similarity Learning on SPD Manifolds for Visual Recognition.
Darko Cherepnalkoski, Andreas Karpf, Igor Mozetic, Miha Grcar:
Cohesion and Coalition Formation in the European Parliament: Roll-Call Votes and Twitter Activities.
Prabuchandran K. J., Tejas Bodas, Theja Tulabandhula:
Reinforcement Learning algorithms for regret minimization in structured Markov Decision Processes.
Olga Galinina, Leonardo Militano, Sergey Andreev, Alexander Pyattaev, Kerstin Johnsson, Antonino Orsino, Giuseppe Araniti, Antonio Iera, Mischa Dohler, Yevgeni Koucheryavy:
Demystifying Competition and Cooperation Dynamics of the Aerial mmWave Access Market.
Rakshith Shetty, Jorma Laaksonen:
Frame- and Segment-Level Features and Candidate Pool Evaluation for Video Caption Generation.
Lukas Breitwieser, Roman Bauer, Alberto Di Meglio, Leonard Johard, Marcus Kaiser, Marco Manca, Manuel Mazzara, Fons Rademakers, Max Talanov:
The BioDynaMo Project: Creating a Platform for Large-Scale Reproducible Biological Simulations.
Chun-Hung Liu, Zhu-Kuan Yang, Di-Chun Liang:
Generalized SIR Analysis for Stochastic Heterogeneous Wireless Networks: Theory and Applications.
Jee-Hye Lee, Myungin Lee, Joon-Hyuk Chang:
Ensemble of Jointly Trained Deep Neural Network-Based Acoustic Models for Reverberant Speech Recognition.
Kamyar Azizzadenesheli, Alessandro Lazaric, Animashree Anandkumar:
Open Problem: Approximate Planning of POMDPs in the class of Memoryless Policies.
Yongxing Wang, Peter K. Jimack, Mark Walkley:
A Unified Finite Element Method for Fluid-Structure Interaction.
Weili Fu, James Cheney, Paul Anderson:
An Operational Semantics for a Fragment of the Puppet Configuration Language.
Fei Hu, Changjiu Pu, Haowei Gao, Mengzi Tang, Li Li:
An image compression and encryption scheme based on deep learning.
Fei Hu, Xiaofei Xu, Tao Peng, Changjiu Pu, Li Li:
A Fast Pseudo-Stochastic Sequential Cipher Generator Based on RBMs.
Vered Shwartz, Ido Dagan:
The Roles of Path-based and Distributional Information in Recognizing Lexical Semantic Relations.
Sergey Fomin, Dima Grigoriev, Dorian Nogneng, Éric Schost:
On semiring complexity of Schur polynomials.
Marcos Cardinot, Maud D. Gibbons, Colm O'Riordan, Josephine Griffith:
Simulation of an Optional Strategy in the Prisoner's Dilemma in Spatial and Non-spatial Environments.
Long Ouyang, Michael Henry Tessler, Daniel Ly, Noah D. Goodman:
Practical optimal experiment design with probabilistic programs.
Muhammet Bastan, Hilal Kandemir, Busra Canturk:
MT3S: Mobile Turkish Scene Text-to-Speech System for the Visually Impaired.
Ursula Challita, Mahesh K. Marina:
Holistic Small Cell Traffic Balancing across Licensed and Unlicensed Bands.
Zachary C. Lipton, Jianfeng Gao, Lihong Li, Xiujun Li, Faisal Ahmed, Li Deng:
Efficient Exploration for Dialog Policy Learning with Deep BBQ Networks \& Replay Buffer Spiking.
Tobias Birnbaum, Yonina C. Eldar, Deanna Needell:
Tolerant Compressed Sensing With Partially Coherent Sensing Matrices.



Nasim Souly, Mubarak Shah:
Scene Labeling Through Knowledge-Based Rules Employing Constrained Integer Linear Programing.
Saeed Mohajeryami:
An Investigation of Randomized Controlled Trial (RCT) Method as a Customer Baseline Load (CBL) Calculation for Residential Customers.
Giovanni Interdonato, Hien Quoc Ngo, Erik G. Larsson, Pål K. Frenger:
On the Performance of Cell-Free Massive MIMO with Short-Term Power Constraints.
Vikas Chawla, Hsiang Sing Naik, Adedotun Akintayo, Dermot Hayes, Patrick S. Schnable, Baskar Ganapathysubramanian, Soumik Sarkar:
A Bayesian Network approach to County-Level Corn Yield Prediction using historical data and expert knowledge.
Liang Wu, Fred Morstatter, Huan Liu:
SlangSD: Building and Using a Sentiment Dictionary of Slang Words for Short-Text Sentiment Classification.
Suhang Jiang, Katerina Schenke, Jacquelynne S. Eccles, Di Xu, Mark Warschauer:
Females' Enrollment and Completion in Science, Technology, Engineering, and Mathematics Massive Open Online Courses.

Stephen Mallon, Vincent Gramoli, Guillaume Jourjon:
Are Today's SDN Controllers Ready for Primetime?
Xiaoshui Huang, Jian Zhang, Lixin Fan, Qiang Wu, Chun Yuan:
A Systematic Approach for Cross-source Point Cloud Registration by Preserving Macro and Micro Structures.
George Toderici, Damien Vincent, Nick Johnston, Sung Jin Hwang, David Minnen, Joel Shor, Michele Covell:
Full Resolution Image Compression with Recurrent Neural Networks.
Binhuang Song, Chen Zhu, Bill Corcoran, Qibing Wang, Leimeng Zhuang, Arthur J. Lowery:
Experimental demonstration of Layered/Enhanced ACO-OFDM in short haul optical fiber transmission link.
Harm van Seijen:
Effective Multi-step Temporal-Difference Learning for Non-Linear Function Approximation.
Jianan Li, Xiaodan Liang, Jianshu Li, Tingfa Xu, Jiashi Feng, Shuicheng Yan:
Multi-stage Object Detection with Group Recursive Learning.
Gui-Song Xia, Jingwen Hu, Fan Hu, Baoguang Shi, Xiang Bai, Yanfei Zhong, Liangpei Zhang:
AID: A Benchmark Dataset for Performance Evaluation of Aerial Scene Classification.

Cory J. Kleinheksel, Arun K. Somani:
Resource efficient redundancy using quorum-based cycle routing in optical networks.
Cory J. Kleinheksel, Arun K. Somani:
Enhancing fault tolerance capabilities in quorum-based cycle routing.
Cory J. Kleinheksel, Arun K. Somani:
Scaling Distributed All-Pairs Algorithms: Manage Computation and Limit Data Replication with Quorums.
Tachporn Sanguanpuak, Sudarshan Guruacharya, Nandana Rajatheva, Mehdi Bennis, Matti Latva-aho:
Multi-Operator Spectrum Sharing for Small Cell Networks : A Matching Game Perspective.
Youbao Tang, Xiangqian Wu, Wei Bu:
Deeply-Supervised Recurrent Convolutional Neural Network for Saliency Detection.
Huayong Xu, Yangyan Li, Wenzheng Chen, Dani Lischinski, Daniel Cohen-Or, Baoquan Chen:
A Holistic Approach for Data-Driven Object Cutout.
Yanbo Xu, Yanxun Xu, Suchi Saria:
A Bayesian Nonparametic Approach for Estimating Individualized Treatment-Response Curves.
Youbao Tang, Xiangqian Wu:
Saliency Detection via Combining Region-Level and Pixel-Level Predictions with CNNs.
Ali Dorri, Salil S. Kanhere, Raja Jurdak:
Blockchain in internet of things: Challenges and Solutions.
Gyeongmin Choe, Jaesik Park, Yu-Wing Tai, In So Kweon:
Refining Geometry from Depth Sensors using IR Shading Images.
Ioannis Fudos, Christoph M. Hoffmann, Robert Joan-Arinyo:
Tree-decomposable and Underconstrained Geometric Constraint Problems.
Felix Järemo Lawin, Per-Erik Forssén, Hannes Ovren:
Efficient Multi-Frequency Phase Unwrapping using Kernel Density Estimation.
Hui-Ming Wang, Chao Wang, Tongxing Zheng, Tony Q. S. Quek:
Impact of Artificial Noise on Cellular Networks: A Stochastic Geometry Approach.
Ildar Muftahov, Denis N. Sidorov, Aleksei V. Zhukov, Daniil A. Panasetsky, Aoife Foley, Yong Li, Aleksandr Tynda:
Application of Volterra Equations to Solve Unit Commitment Problem of Optimised Energy Storage and Generation.
Joachim van der Herten, Ivo Couckuyt, Dirk Deschrijver, Tom Dhaene:
Active Learning for Approximation of Expensive Functions with Normal Distributed Output Uncertainty.
Juan C. Quiroz, Sergiu M. Dascalu:
Design and Implementation of a Procedural Content Generation Web Application for Vertex Shaders.
Frantisek Farka, Ekaterina Komendantskaya, Kevin Hammond, Peng Fu:
Coinductive Soundness of Corecursive Type Class Resolution.
Ana Marasovic, Anette Frank:
Multilingual Modal Sense Classification using a Convolutional Neural Network.
Samil Karahan, Merve Kilinc Yildirim, Kadir Kirtaç, Ferhat Sükrü Rende, Gultekin Butun, Hazim Kemal Ekenel:
How Image Degradations Affect Deep CNN-based Face Recognition?
Xueliang Li, John P. Gallagher:
A Source-level Energy Optimization Framework for Mobile Applications.
Moreno Falaschi, Maurizio Gabbrielli, Carlos Olarte, Catuscia Palamidessi:
Slicing Concurrent Constraint Programs.
David Tolpin, Jan-Willem van de Meent, Hongseok Yang, Frank D. Wood:
Design and Implementation of Probabilistic Programming Language Anglican.
Miguel Tasende:
Generation of the Single Precision BLAS library for the Parallella platform, with Epiphany co-processor acceleration, using the BLIS framework.
Qiuhong Ke, Mohammed Bennamoun, Senjian An, Farid Boussaïd, Ferdous Ahmed Sohel:
Spatial, Structural and Temporal Feature Learning for Human Interaction Prediction.
Zhigang Li, Feng Qiu, Jianhui Wang:
Multi-Period Do-Not-Exceed Limit for Variable Renewable Generation Dispatch Considering Discrete Recourse Controls.
Lambert Schomaker:
Some problems with a Scotsman and a Russian: Caveats on Bayesian and hidden-Markov models (v2.3).
Ferdinando Fioretto, Enrico Pontelli, William Yeoh, Rina Dechter:
Accelerating Exact and Approximate Inference for (Distributed) Discrete Optimization with GPUs.
Soumya Sarkar, Sanjukta Bhowmick, Suhansanu Kumar, Animesh Mukherjee:
Sensitivity and Reliability in Incomplete Networks: Centrality Metrics to Community Scoring Functions.
Sidi Ahmed Ezzahidi, Essaid Sabir, Mounir Ghogho:
A Distributed Satisfactory Content Delivery Scheme for QoS Provisioning in Delay Tolerant Networks.
Reihaneh Hassanzadeh, Ali Movaghar, Hamid Reza Hassanzadeh:
A Multi-Dimensional Fairness Combinatorial Double-Sided Auction Model in Cloud Environment.
Igor Konnov, Marijana Lazic, Helmut Veith, Josef Widder:
A Short Counterexample Property for Safety and Liveness Verification of Fault-tolerant Distributed Algorithms.
Wei-Tse Sun, Ting-Hsuan Chao, Yin-Hsi Kuo, Winston H. Hsu:
Photo Filter Recommendation by Category-Aware Aesthetic Learning.
Max Jaderberg, Wojciech Marian Czarnecki, Simon Osindero, Oriol Vinyals, Alex Graves, Koray Kavukcuoglu:
Decoupled Neural Interfaces using Synthetic Gradients.

David A. Cohen, Martin C. Cooper, Peter G. Jeavons, Stanislav Zivny:
Binary Constraint Satisfaction Problems Defined by Excluded Topological Minors.
Anushri Jana, Uday P. Khedker, Advaita Datar, R. Venkatesh, Niyas C:
Scaling Bounded Model Checking By Transforming Programs With Arrays.
Srikanth Ronanki, Siva Reddy Gangireddy, Bajibabu Bollepalli, Simon King:
DNN-based Speech Synthesis for Indian Languages from ASCII text.
Jakob Ablinger, Arnd Behring, Johannes Blümlein, Abilio De Freitas, Carsten Schneider:
Algorithms to solve coupled systems of differential equations in terms of power series.
Amira Ghenai, Moustafa M. Ghanem:
Exploring Trust-Aware Neighbourhood in Trust-based Recommendation.
George R. MacCartney Jr., Shu Sun, Theodore S. Rappaport, Yunchou Xing, Hangsong Yan, Jeton Koka, Ruichen Wang, Dian Yu:
Millimeter Wave Wireless Communications: New Results for Rural Connectivity.
Siyu Tang, Bjoern Andres, Mykhaylo Andriluka, Bernt Schiele:
Multi-Person Tracking by Multicut and Deep Matching.

Thomas A. Courtade:
Links between the Logarithmic Sobolev Inequality and the convolution inequalities for Entropy and Fisher Information.
Manuel Carro, Andy King:
Papers presented at the 32nd International Conference on Logic Programming (ICLP 2016).
Bolei Zhou, Hang Zhao, Xavier Puig, Sanja Fidler, Adela Barriuso, Antonio Torralba:
Semantic Understanding of Scenes through the ADE20K Dataset.
Farnood Merrikh-Bayat, Fabien Alibart, Ligang Gao, Dmitri B. Strukov:
A Reconfigurable FIR Filter with Memristor-Based Weights.
Takeshi Onishi, Hai Wang, Mohit Bansal, Kevin Gimpel, David A. McAllester:
Who did What: A Large-Scale Person-Centered Cloze Dataset.
Jen-Yin Chang, Kuan-Ying Lee, Yu-Lin Wei, Kate Ching-Ju Lin, Winston Hsu:
We Can "See" You via Wi-Fi - An Overview and Beyond.
Yongzhi Li, Cheng Tao, Liu Liu, Gonzalo Seco-Granados, A. Lee Swindlehurst:
Channel Estimation and Uplink Achievable Rates in One-Bit Massive MIMO Systems.
Yongzhi Li, Cheng Tao, Liu Liu, Amine Mezghani, A. Lee Swindlehurst:
How Much Training is Needed in One-Bit Massive MIMO Systems at Low SNR?
Hao Deng, Hui-Ming Wang, Wenjie Wang, Moon Ho Lee:
Dual User Selection for Security Enhancement in Uplink Multiuser Systems.
Hao Deng, Hui-Ming Wang, Jinhong Yuan, Wenjie Wang, Qinye Yin:
Secure Communication in Uplink Transmissions: User Selection and Multiuser Secrecy Gain.
Xi Peng, Rogério Schmidt Feris, Xiaoyu Wang, Dimitris N. Metaxas:
A Recurrent Encoder-Decoder Network for Sequential Face Alignment.
Alice P. Bates, Zubair Khalid, Rodney A. Kennedy:
Efficient Computation of Slepian Functions on the Sphere.
Iman Roozbeh, Melih Ozlen, John W. Hearne:
A heuristic scheme for the Cooperative Team Orienteering Problem with Time Windows.
Hiroyuki Kasai, Wolfgang Kellerer, Martin Kleinsteuber:
Network Volume Anomaly Detection and Identification in Large-scale Networks based on Online Time-structured Traffic Tensor Tracking.
Sergey Parinov, Victoria Antonova:
End of Publication? Open access and a new scholarly communication technology.
(Withdrawn) Data Centroid Based Multi-Level Fuzzy Min-Max Neural Network.
Xianwen Wang, Zhichao Fang:
Detecting and Tracking The Real-time Hot Topics: A Study on Computational Neuroscience.

Marc Boullé, Fabrice Clérot, Carine Hue:
Revisiting enumerative two-part crude MDL for Bernoulli and multinomial distributions (Extended version).
Ivan Vulic, Roy Schwartz, Ari Rappoport, Roi Reichart, Anna Korhonen:
Automatic Selection of Context Configurations for Improved (and Fast) Class-Specific Word Representations.
Pan Zhou, Wenqi Wei, Kaigui Bian, Dapeng Oliver Wu, Yuchong Hu:
Private and Truthful Aggregative Game for Large-Scale Spectrum Sharing.
Fatemeh Shirazi, Milivoj Simeonovski, Muhammad Rizwan Asghar, Michael Backes, Claudia Díaz:
A Survey on Routing in Anonymous Communication Protocols.
Kit Ian Kou, Yan Yang, Cuiming Zou:
Uncertainty Principle for Measurable Sets and Signal Recovery in Quaternion Domains.
Yuto Nakashima, Hiroe Inoue, Takuya Mieno, Shunsuke Inenaga, Hideo Bannai, Masayuki Takeda:
Shortest unique palindromic substring queries in optimal time.
Hugues Mandon, Stefan Haar, Loïc Paulevé:
Relationship between the Reprogramming Determinants of Boolean Networks and their Interaction Graph.
Qingfu Zhu, Weinan Zhang, Lianqiang Zhou, Ting Liu:
Learning to Start for Sequence to Sequence Architecture.
Yang Wang, Wenjie Zhang, Lin Wu, Xuemin Lin, Meng Fang, Shirui Pan:
Iterative Views Agreement: An Iterative Low-Rank based Structured Optimization Method to Multi-View Spectral Clustering.
Roque Porchetto, Franco Stramana, Nikos Paragios, Enzo Ferrante:
Rigid Slice-To-Volume Medical Image Registration through Markov Random Fields.
Kai Herrmann, Hannes Voigt, Andreas Behrend, Jonas Rausch, Wolfgang Lehner:
Logical Data Independence in the 21st Century - Co-Existing Schema Versions with InVerDa.
Martin Danelljan, Gustav Häger, Fahad Shahbaz Khan, Michael Felsberg:
Learning Spatially Regularized Correlation Filters for Visual Tracking.


Stéphan Tulkens, Simon Suster, Walter Daelemans:
Using Distributed Representations to Disambiguate Biomedical and Clinical Concepts.
Joachim Jansen, Jo Devriendt, Bart Bogaerts, Gerda Janssens, Marc Denecker:
Implementing a Relevance Tracker Module.


María Alpuente, Daniel Pardo, Alicia Villanueva:
Symbolic Abstract Contract Synthesis in a Rewriting Framework.
Timo Bingmann, Michael Axtmann, Emanuel Jöbstl, Sebastian Lamm, Huyen Chau Nguyen, Alexander Noe, Sebastian Schlag, Matthias Stumpp, Tobias Sturm, Peter Sanders:
Thrill: High-Performance Algorithmic Distributed Batch Data Processing with C++.
Stephan Kreutzer, Roman Rabinovich, Sebastian Siebertz:
Polynomial Kernels and Wideness Properties of Nowhere Dense Graph Classes.
Ha Quang Minh:
Operator-Valued Bochner Theorem, Fourier Feature Maps for Operator-Valued Kernels, and Vector-Valued Learning.
Abhinav Parihar, Nikhil Shukla, Matthew Jerry, Suman Datta, Arijit Raychowdhury:
Computing with Dynamical Systems Based on Insulator-Metal-Transition Oscillators.
Min Hong Yun, Songtao He, Lin Zhong:
POLYPATH: Supporting Multiple Tradeoffs for Interaction Latency.
Qianqian Yang, Deniz Gündüz:
Coded Caching and Content Delivery with Heterogeneous Distortion Requirements.
Hamza Harkous, Rameez Rahman, Bojan Karlas, Karl Aberer:
The Curious Case of the PDF Converter that Likes Mozart: Dissecting and Mitigating the Privacy Risk of Personal Cloud Apps.

Moses A. Boudourides, Sergios T. Lenis:
Dominating sets and ego-centered decompositions in social networks.
Manuel Bichler, Michael Morak, Stefan Woltran:
lpopt: A Rule Optimization Tool for Answer Set Programming.
Bin Fang, Mihaela Sighireanu:
Hierarchical Shape Abstraction for Analysis of Free-List Memory Allocators.
Kayhan Dursun, Carsten Binnig, Ugur Çetintemel, Tim Kraska:
Revisiting Reuse in Main Memory Database Systems.
Menghua Zhai, Scott Workman, Nathan Jacobs:
Detecting Vanishing Points using Global Image Context in a Non-Manhattan World.
Vladislav B. Kovchegov:
The languages of actions, formal grammars and qualitive modeling of companies.
Ye Yu, Djamal Belazzougui, Chen Qian, Qin Zhang:
A Concise Forwarding Information Base for Scalable and Fast Flat Name Switching.
Eric Rice, Robin Petering, Jaih Craddock, Amanda Yoshioka-Maxwell, Amulya Yadav, Milind Tambe:
Pilot Testing an Artificial Intelligence Algorithm That Selects Homeless Youth Peer Leaders Who Promote HIV Testing.
Iker Zamora, Nestor Gonzalez Lopez, Victor Mayoral Vilches, Alejandro Hernández Cordero:
Extending the OpenAI Gym for robotics: a toolkit for reinforcement learning using ROS and Gazebo.
Songze Li, Qian Yu, Mohammad Ali Maddah-Ali, Amir Salman Avestimehr:
A Scalable Framework for Wireless Distributed Computing.
Edward Choi, Mohammad Taha Bahadori, Andy Schuetz, Walter F. Stewart, Jimeng Sun:
RETAIN: Interpretable Predictive Model in Healthcare using Reverse Time Attention Mechanism.
Xinyang Yi, Constantine Caramanis, Sujay Sanghavi:
Solving a Mixture of Many Random Linear Equations by Tensor Decomposition and Alternating Minimization.
Shashanka Ubaru, Yousef Saad, Abd-Krim Seghouane:
Fast estimation of approximate matrix ranks using spectral densities.
Arun Nampally, C. R. Ramakrishnan:
Inference in Probabilistic Logic Programs using Lifted Explanations.
Yuhan Zhou, Yinfei Xu, Wei Yu, Jun Chen:
On the Optimal Fronthaul Compression and Decoding Strategies for Uplink Cloud Radio Access Networks.
Shenghui Cheng, Wei Xu, Wen Zhong, Klaus Mueller:
A Data-Driven Approach for Mapping Multivariate Data to Color.

Hina Tabassum, Md Shipon Ali, Ekram Hossain, Md. Jahangir Hossain, Dong In Kim:
Non-Orthogonal Multiple Access (NOMA) in Cellular Uplink and Downlink: Challenges and Enabling Techniques.
Norbert Th. Müller, Sewon Park, Norbert Preining, Martin Ziegler:
On Formal Verification in Imperative Multivalued Programming over Continuous Data Types.
Suleiman Y. Yerima, Sakir Sezer, Gavin McWilliams:
Analysis of Bayesian Classification based Approaches for Android Malware Detection.
Ying Hua Tan, Chee Seng Chan:
phi-LSTM: A Phrase-based Hierarchical LSTM Model for Image Captioning.
Bharath Gopalakrishnan, Arun Kumar Singh, Meha Kaushik, K. Madhava Krishna, Dinesh Manocha:
Chance constraint based multi agent navigation under uncertainty.
Abdessalem Abidi, Qianxue Wang, Belgacem Bouallegue, Mohsen Machhout, Christophe Guyeux:
Proving chaotic behaviour of CBC mode of operation.
Salvador Melendez, Michael P. McGarry:
Computation Offloading Decisions for Reducing Completion Time.
Jason J. Yu, Adam W. Harley, Konstantinos G. Derpanis:
Back to Basics: Unsupervised Learning of Optical Flow via Brightness Constancy and Motion Smoothness.
Jacques M. Bahi, Wiem Elghazel, Christophe Guyeux, Mohammed Haddad, Mourad Hakem, Kamal Medjaher, Nourredine Zerhouni:
Resiliency in Distributed Sensor Networks for PHM of the Monitoring Targets.
Yousra Ahmed Fadil, Jean-François Couchot, Raphaël Couturier, Christophe Guyeux:
Steganalyzer performances in operational contexts.
Jifan Chen, Kan Chen, Xipeng Qiu, Qi Zhang, Xuanjing Huang, Zheng Zhang:
Learning Word Embeddings from Intrinsic and Extrinsic Views.
Jing Wang, Meng Wang, Xuegang Hu, Shuicheng Yan:
Visual Processing by a Unified Schatten-p Norm and ℓq Norm Regularized Principal Component Pursuit.
Ahmad A. Masoud:
A Hybrid, PDE-ODE Control Strategy for Intercepting an Intelligent, well-informed Target in a Stationary, Cluttered Environment.
Marius Poke, Torsten Hoefler, Colin W. Glass:
AllConcur: Leaderless Concurrent Atomic Broadcast (Extended Version).
Mohammad Abu-Lebdeh, Sami Yangui, Diala Naboulsi, Roch H. Glitho, Constant Wette Tchouati:
A Virtual Network PaaS for 3GPP 4G and Beyond Core Network Services.
Silvano Chiaradonna, Felicita Di Giandomenico, Giulio Masetti:
Efficient non-anonymus composition operator for modeling complex dependable systems.
Leto Peel, Daniel B. Larremore, Aaron Clauset:
The ground truth about metadata and community detection in networks.
Jing Wang, Meng Wang, Pei-Pei Li, Luoqi Liu, Zhongqiu Zhao, Xuegang Hu, Xindong Wu:
Online Feature Selection with Group Structure Analysis.
Tatsuya Abe, Tomoharu Ugawa, Toshiyuki Maeda, Kousuke Matsumoto:
Reducing State Explosion for Software Model Checking with Relaxed Memory Consistency Models.
Hao Chen, Qi Dou, Lequan Yu, Pheng-Ann Heng:
VoxResNet: Deep Voxelwise Residual Networks for Volumetric Brain Segmentation.
Jacques M. Bahi, Jean-François Couchot, Christophe Guyeux, Michel Salomon:
Neural Networks and Chaos: Construction, Evaluation of Chaotic Networks, and Prediction of Chaos with Multilayer Feedforward Networks.
Tao Chen, Rami Bahsoon:
Self-Adaptive Trade-off Decision Making for Autoscaling Cloud-Based Services.
Ahmad A. Masoud:
Managing The Dynamics Of A Harmonic Potential Field-Guided Robot In A Cluttered Environment.
Tao Chen, Rami Bahsoon:
Bridging Ecology and Cloud: Transposing Ecological Prespective to Enable Better Cloud Autoscaling.
Jacques M. Bahi, Jean-François Couchot, Christophe Guyeux:
Quality Analysis of a Chaotic Proven Keyed Hash Function.
Jacques M. Bahi, Xiaole Fang, Christophe Guyeux, Laurent Larger:
FPGA Design for Pseudorandom Number Generator Based on Chaotic Iteration used in Information Hiding Application.
Jacques M. Bahi, Christophe Guyeux, Abdallah Makhoul:
Two Security Layers for Hierarchical Data Aggregation in Sensor Networks.
Dhananjay Kimothi, Akshay Soni, Pravesh Biyani, James M. Hogan:
Distributed Representations for Biological Sequence Analysis.
Jacques M. Bahi, Christophe Guyeux, Mourad Hakem, Abdallah Makhoul:
Epidemiological Approach for Data Survivability in Unattended Wireless Sensor Networks.
Rishabh Kaushal, Srishty Saha, Payal Bajaj, Ponnurangam Kumaraguru:
KidsTube: Detection, Characterization and Analysis of Child Unsafe Content & Promoters on YouTube.
Mohsen Fayyaz, Mohammad Hajizadeh Saffar, Mohammad Sabokrou, Mahmood Fathy, Reinhard Klette:
STFCN: Spatio-Temporal FCN for Semantic Video Segmentation.
David Ebo Adjepon-Yamoah:
Towards Dependable Change Management and Traceability for Global Software Development.
Andrzej Jarynowski, Stephanie Boland:
Social Networks Analysis in Discovering the Narrative Structure of Literary Fiction.
Ian Gemp, Ishan P. Durugkar, Mario Parente, Melinda Darby Dyar, Sridhar Mahadevan:
Deep Generative Models for Spectroscopic Analysis on Mars.
Amir Aminjavaheri, Arman Farhang, Ahmad RezazadehReyhani, Linda E. Doyle, Behrouz Farhang-Boroujeny:
OFDM without CP in Massive MIMO.
Debasish Pattanayak, Kaushik Mondal, Partha Sarathi Mandal, Stefan Schmid:
Convergence of Even Simpler Robots without Location Information.
Carlos Andrés Viteri-Mera, Fernando L. Teixeira:
Space-Time Block Diagonalization for Frequency-Selective MIMO Broadcast Channels.
Athanasios Tsiligkaridis, Theodoros Tsiligkaridis:
Distributed Probabilistic Bisection Search using Social Learning.




Konstantinos Bousmalis, George Trigeorgis, Nathan Silberman, Dilip Krishnan, Dumitru Erhan:
Domain Separation Networks.
Nan Qi, Ming Xiao, Theodoros A. Tsiftsis, Mikael Skoglund, Phuong Le Cao, Lixin Li:
Energy Efficient Cooperative Network Coding with Joint Relay Scheduling and Power Allocation.

George Giakkoupis, Maryam Helmi, Lisa Higham, Philipp Woelfel:
Deterministic and Fast Randomized Test-and-Set in Optimal Space.
Seyyed Hossein HasanPour, Mohammad Rouhani, Mohsen Fayyaz, Mohammad Sabokrou:
Lets keep it simple, Using simple architectures to outperform deeper and more complex architectures.

Zhaopeng Tu, Yang Liu, Zhengdong Lu, Xiaohua Liu, Hang Li:
Context Gates for Neural Machine Translation.
Felix Juefei-Xu, Vishnu Naresh Boddeti, Marios Savvides:
Local Binary Convolutional Neural Networks.
Qin Liu, Zhenguo Li, John C. S. Lui, Jiefeng Cheng:
PowerWalk: Scalable Personalized PageRank via Random Walks with Vertex-Centric Decomposition.
Ziv Goldfeld, Haim H. Permuter:
MIMO Gaussian Broadcast Channels with Common, Private and Confidential Messages.
Junse Lee, Namyoon Lee, François Baccelli:
Scaling Laws for Ergodic Spectral Efficiency in MIMO Poisson Networks.
Juan Wen, Min Sheng, Kaibin Huang, Jiandong Li:
Effects of Base-Station Spatial Interdependence on Interference Correlation and Network Performance.
Christiana McMahon, Spiros C. Denaxas:
A novel framework for assessing metadata quality in epidemiological and public health research settings.


Gourab Ghatak, Maximilian Matthé, Adrish Banerjee, Gerhard P. Fettweis:
On Preambles With Low Out of Band Radiation for Channel Estimation.
Björn Bönninghoff, Horst Schirmeier:
Estimating Maximum Error Impact in Dynamic Data-driven Applications for Resource-aware Adaption of Software-based Fault-Tolerance.
Andrea Cuttone, Per Bækgaard, Vedran Sekara, Håkan Jonsson, Jakob Eg Larsen, Sune Lehmann:
SensibleSleep: A Bayesian Model for Learning Sleep Patterns from Smartphone Events.
Marco Damonte, Shay B. Cohen, Giorgio Satta:
An Incremental Parser for Abstract Meaning Representation.
Bing Gao, Qiyu Sun, Yang Wang, Zhiqiang Xu:
Phase Retrieval From the Magnitudes of Affine Linear Measurements.
Yinghao Yu, Jun Zhang, Khaled Ben Letaief:
Joint Subcarrier and CPU Time Allocation for Mobile Edge Computing.
Joern Fischer, Poramate Manoonpong, S. Lackner:
Reconstructing Neural Parameters and Synapses of arbitrary interconnected Neurons from their Simulated Spiking Activity.
David Escorial Rico, Mark Hann:
A Combined Dependability and Security Approach for Third Party Software in Space Systems.
Srikanth Ronanki, Oliver Watts, Simon King, Gustav Eje Henter:
Median-Based Generation of Synthetic Speech Durations using a Non-Parametric Approach.
Elisa Letizia, Paolo Barucca, Fabrizio Lillo:
Detectability of ranking hierarchies in directed networks.
Petr A. Golovach, Dieter Kratsch, Daniël Paulusma, Anthony Stewart:
A Linear Kernel for Finding Square Roots of Almost Planar Graphs.
Manfred Cochefert, Jean-François Couturier, Petr A. Golovach, Dieter Kratsch, Daniël Paulusma, Anthony Stewart:
Squares of Low Maximum Degree.
Michael Lenz, Horst Schirmeier:
DETOx: Towards Optimal Software-based Soft-Error Detector Configurations.
M. Chandrajit, R. Girisha, T. Vasudev:
Multiple objects tracking in surveillance video using color and Hu moments.
Pankaj Malhotra, Vishnu TV, Anusha Ramakrishnan, Gaurangi Anand, Lovekesh Vig, Puneet Agarwal, Gautam Shroff:
Multi-Sensor Prognostics using an Unsupervised Health Index based on LSTM Encoder-Decoder.
Shantanu Chakraborty, Toshiya Okabe:
Optimal Demand Side Management by Distributed and Secured Energy Commitment Framework.
Shanshan Wang, Konstantinos Samdanis, Xavier Pérez Costa, Marco Di Renzo:
On Spectrum and Infrastructure Sharing in Multi-Operator Cellular Networks.
Jaroslaw Szlichta, Parke Godfrey, Lukasz Golab, Mehdi Kargar, Divesh Srivastava:
Effective and Complete Discovery of Order Dependencies via Set-based Axiomatization.
Alcides Fonseca, Raul Barbosa:
MISO: An intermediate language to express parallel and dependable programs.

Konpal Shaukat Ali, Hesham ElSawy, Mohamed-Slim Alouini:
Modeling Cellular Networks with Full Duplex D2D Communication: A Stochastic Geometry Approach.
Alban Desmaison, Rudy Bunel, Pushmeet Kohli, Philip H. S. Torr, M. Pawan Kumar:
Efficient Continuous Relaxations for Dense CRF.
Marya Bazzi, Lucas G. S. Jeub, Alex Arenas, Sam D. Howison, Mason A. Porter:
Generative Benchmark Models for Mesoscale Structures in Multilayer Networks.
Lokesh Boominathan, Srinivas S. S. Kruthiventi, R. Venkatesh Babu:
CrowdNet: A Deep Convolutional Network for Dense Crowd Counting.
Saeed Mohajeryami, Milad Doostan, Seyedmahdi Moghadasi, Peter Schwarz:
Towards the Interactive Effects of Demand Response Participation on Electricity Spot Market Price.
Jan A. Bergstra, Alban Ponse:
Datatype defining rewrite systems for the ring of integers, and for natural and integer arithmetic in unary view.
Qing Ke, Yong-Yeol Ahn, Cassidy R. Sugimoto:
A Systematic Identification and Analysis of Scientists on Twitter.
Yunpeng Pan, Xinyan Yan, Evangelos Theodorou, Byron Boots:
Adaptive Probabilistic Trajectory Optimization via Efficient Approximate Inference.
Tianhua Xu, Gunnar Jacobsen, Sergei Popov, Jie Li, Tiegen Liu, Yimo Zhang, Polina Bayvel:
Analytical Investigations on Carrier Phase Recovery in Dispersion-Unmanaged n-PSK Coherent Optical Communication Systems.
Marcin Nawrocki, Matthias Wählisch, Thomas C. Schmidt, Christian Keil, Jochen Schönfelder:
A Survey on Honeypot Software and Data Analysis.
Brian Brost, Yevgeny Seldin, Ingemar J. Cox, Christina Lioma:
Multi-Dueling Bandits and Their Application to Online Ranker Evaluation.
Yu Feng, Osbert Bastani, Ruben Martins, Isil Dillig, Saswat Anand:
Automated Synthesis of Semantic Malware Signatures using Maximum Satisfiability.
Gopalakrishnan Sundararajan, Chris Winstead:
ASIC Design of a Noisy Gradient Descent Bit Flip Decoder for 10GBASE-T Ethernet Standard.
Micah Richert, Dimitry Fisher, Filip Piekniewski, Eugene M. Izhikevich, Todd Hylton:
Fundamental principles of cortical computation: unsupervised learning with prediction, compression and feedback.
Greg Zanotti, Miller Horvath, Lucas Nunes Barbosa, Venkata Trinadh Kumar Gupta Immedisetty, Jonathan Gemmell:
Infusing Collaborative Recommenders with Distributed Representations.
Renato L. F. Cunha, Eduardo R. Rodrigues, Leonardo P. Tizzei, Marco A. S. Netto:
Job Placement Advisor Based on Turnaround Predictions for HPC Hybrid Clouds.
David Sussillo, Rafal Józefowicz, L. F. Abbott, Chethan Pandarinath:
LFADS - Latent Factor Analysis via Dynamical Systems.
T.-H. Hubert Chan, Shuguang Hu, Shaofeng H.-C. Jiang:
A PTAS for the Steiner Forest Problem in Doubling Metrics.
Pichao Wang, Wanqing Li, Song Liu, Yuyao Zhang, Zhimin Gao, Philip Ogunbona:
Large-scale Continuous Gesture Recognition Using Convolutional Neutral Networks.
Yinsheng Liu, Geoffrey Ye Li, Wei Han:
Spectrum Quantization and Feedback for Downlink Massive MIMO Systems With Cascaded Precoding.
Yinsheng Liu, Yinjun Liu, Qimei Cui, Riku Jäntti:
Design and Analysis of Downlink Channel Estimation Based on Parametric Model for Massive MIMO in FDD Systems.


Zhangyang Wang, Liang Zhang, Yingzhen Yang, Jiayu Zhou, Georgios B. Giannakis, Thomas S. Huang:
Deep Double Sparsity Encoder: Learning to Sparsify Not Only Features But Also Parameters.
Bo-Hsiang Tseng, Sheng-syun Shen, Hung-yi Lee, Lin-Shan Lee:
Towards Machine Comprehension of Spoken Content: Initial TOEFL Listening Comprehension Test by Machine.
Soham Dan, Sanyam Agarwal, Mayank Singh, Pawan Goyal, Animesh Mukherjee:
Which techniques does your application use?: An information extraction framework for scientific articles.
Waqar Ahmad, Osman Hasan:
Formalization of Fault Trees in Higher-order Logic: A Deep Embedding Approach.
Sougata Chaudhuri, Ambuj Tewari:
Phased Exploration with Greedy Exploitation in Stochastic Combinatorial Partial Monitoring Games.
Shuai Wang, Minghua Xia, Yik-Chung Wu:
Multi-Pair Two-Way Relay Network with Harvest-Then-Transmit Users: Resolving Pairwise Uplink-Downlink Coupling.
Timothy J. O'Shea, Kiran Karra, T. Charles Clancy:
Learning to Communicate: Channel Auto-encoders, Domain Specific Regularizers, and Attention.
János Balogh, József Békési, György Dósa, Leah Epstein, Asaf Levin:
Online bin packing with cardinality constraints resolved.
Daniel Denkovski, Marko Angjelichinoski, Vladimir Atanasovski, Liljana Gavrilovska:
Geometric Interpretation of Theoretical Bounds for RSS-based Source Localization with Uncertain Anchor Positions.
Ahmad A. Masoud:
A Harmonic Potential Field Approach for Joint Planning & Control of a Rigid, Separable Nonholonomic, Mobile Robot.
Mu Li, Wangmeng Zuo, David Zhang:
Convolutional Network for Attribute-driven and Identity-preserving Human Face Generation.
Rachana Ashok Gupta, Ahmad A. Masoud, Mo-Yuen Chow:
A Delay-Tolerant Potential-Field-Based Network Implementation of an Integrated Navigation System.

Henrik Hermansson, James P. Cross:
Tracking Amendments to Legislation and Other Political Texts with a Novel Minimum-Edit-Distance Algorithm: DocuToads.
Loukas Georgiadis, Aikaterini Karanasiou, Giannis Konstantinos, Luigi Laura:
On Low-High Orders of Directed Graphs: Incremental Algorithms and Applications.
Aybüke Öztürk, Louis Eyango, Sylvie Yona Waksman, Stéphane Lallich, Jérôme Darmont:
Warehousing Complex Archaeological Objects.
Duggirala Meher Krishna, Duggirala Ravi:
Multivariate Cryptography with Mappings of Discrete Logarithms and Polynomials.
Hung T. Nguyen, Preetam Ghosh, Michael L. Mayo, Thang N. Dinh:
Multiple Infection Sources Identification with Provable Guarantees.
Nannan Li, Dan Xu, Zhenqiang Ying, Zhihao Li, Ge Li:
Searching Action Proposals via Spatial Actionness Estimation and Temporal Path Inference and Tracking.
Sjoerd Dirksen, Alexander Stollenwerk:
Fast binary embeddings with Gaussian circulant matrices: improved bounds.
Danel Ahman, Catalin Hritcu, Guido Martinez, Gordon D. Plotkin, Jonathan Protzenko, Aseem Rastogi, Nikhil Swamy:
Dijkstra Monads for Free.
Mohammed S. Kemal, Rasmus L. Olsen:
Adaptive Data Collection Mechanisms for Smart Monitoring of Distribution Grids.
Seyed Hossein Ahmadpanah, Abdullah Jafari Chashmi, Seyede Samaneh Siadatpour:
Wireless Sensor Networks: Local Multicast Study.
Renzhi Chen, Ke Li, Xin Yao:
Dynamic Multi-Objectives Optimization with a Changing Number of Objectives.
Corinna Gottschalk, Arie M. C. A. Koster, Frauke Liers, Britta Peis, Daniel Schmand, Andreas Wierz:
Robust Flows over Time: Models and Complexity Results.
Mark Braverman, Sumegha Garg, Ariel Schvartzman:
Network coding in undirected graphs is either very helpful or not helpful at all.
Jun-Wei Lin, Farn Wang:
Using Semantic Similarity for Input Topic Identification in Crawling-based Web Application Testing.
Le Hou, Dimitris Samaras, Tahsin M. Kurç, Yi Gao, Joel H. Saltz:
Neural Networks with Smooth Adaptive Activation Functions for Regression.

Susanne Sparrer, Robert F. H. Fischer:
Algorithms for the Iterative Estimation of Discrete-Valued Sparse Vectors.
Kamran Ali, Ioannis Pefkianakis, Alex X. Liu, Kyu-Han Kim:
Towards Designing PLC Networks for Ubiquitous Connectivity in Enterprises.
Robert Adolf, Saketh Rama, Brandon Reagen, Gu-Yeon Wei, David M. Brooks:
Fathom: Reference Workloads for Modern Deep Learning Methods.

Burak Çakmak, Manfred Opper, Bernard H. Fleury, Ole Winther:
Self-Averaging Expectation Propagation.
Bartosz Musznicki, Karol Kowalik, Piotr Kolodziejski, Eugeniusz Grzybek:
Mobile and Residential INEA Wi-Fi Hotspot Network.
Yang Zhang, Rupam Acharyya, Ji Liu, Boqing Gong:
Infinite-Label Learning with Semantic Output Codes.
Khaled Alyani, Marco Congedo, Maher Moakher:
Diagonality Measures of Hermitian Positive-Definite Matrices with Application to the Approximate Joint Diagonalization Problem.
Christophe Van Gysel, Maarten de Rijke, Marcel Worring:
Unsupervised, Efficient and Semantic Expertise Retrieval.
Oded Amir:
Stress-constrained continuum topology optimization: a new approach based on elasto-plasticity.
Christophe Van Gysel, Evangelos Kanoulas, Maarten de Rijke:
Lexical Query Modeling in Session Search.
Jérémy Barbay, Carlos Ochoa, Srinivasa Rao Satti:
Synergistic Sorting and Deferred Data Structures on MultiSets.
Arun M. Saranathan, Mario Parente:
On Clustering and Embedding Manifolds using a Low Rank Neighborhood Approach.
Krzysztof Cabaj, Wojciech Mazurczyk:
Using Software-Defined Networking for Ransomware Mitigation: the Case of CryptoWall.
Yongsheng Tang, Shixin Zhu, Xiaoshan Kai, Jian Ding:
New quantum codes from dual-containing cyclic codes over finite rings.
Yuanying Dai, Dong Liu, Feng Wu:
A Convolutional Neural Network Approach for Post-Processing in HEVC Intra Coding.
Guangning Tan, Nedialko S. Nedialkov, John D. Pryce:
Conversion Methods for Improving Structural Analysis of Differential-Algebraic Equation Systems.
Guangning Tan, Nedialko S. Nedialkov, John D. Pryce:
Conversion Methods, Block Triangularization, and Structural Analysis of Differential-Algebraic Equation Systems.
Ming Ding, David López-Pérez, Guoqiang Mao, Zihuai Lin:
Study on the Idle Mode Capability with LoS and NLoS Transmissions.
Cliff Goddard, Maite Taboada, Radoslava Trnavac:
Semantic descriptions of 24 evaluational adjectives, for application in sentiment analysis.
Toru Tamaki, Shoji Sonoyama, Tsubasa Hirakawa, Bisser Raytchev, Kazufumi Kaneda, Tetsushi Koide, Shigeto Yoshida, Hiroshi Mieno, Shinji Tanaka:
Computer-Aided Colorectal Tumor Classification in NBI Endoscopy Using CNN Features.
Shoji Sonoyama, Toru Tamaki, Tsubasa Hirakawa, Bisser Raytchev, Kazufumi Kaneda, Tetsushi Koide, Shigeto Yoshida, Hiroshi Mieno, Shinji Tanaka:
Transfer Learning for Endoscopic Image Classification.
José Camacho-Collados, Claudio Delli Bovi, Alessandro Raganato, Roberto Navigli:
A Large-Scale Multilingual Disambiguation of Glosses.

Sihem Mesnager, Chunming Tang, Yanfeng Qi:
Quasi-Perfect Lee Codes from Quadratic Curves over Finite Fields.
Qiang Fan, Hancheng Lu, Wei Jiang, Peilin Hong, Jun Wu, Chang Wen Chen:
Load Coupling Power Optimization in Cloud Radio Access Networks.
Shiyu Ji:
On the Correctness of Inverted Index Based Public-Key Searchable Encryption Scheme for Multi-time Search.
Qiang Fan, Hancheng Lu, Peilin Hong, Chang Wen Chen:
Resource Allocation in Dynamic TDD Heterogeneous Networks under Mixed Traffic.
Sebastian Arnold, Felix A. Gers, Torsten Kilias, Alexander Löser:
Robust Named Entity Recognition in Idiosyncratic Domains.
Philip Masek, Magnus Thulin, Hugo Sica de Andrade, Christian Berger, Ola Benderius:
Systematic Evaluation of Sandboxed Software Deployment for Real-time Software on the Example of a Self-Driving Heavy Vehicle.
Geetanjali Vinayak Kale, Varsha Hemant Patil:
A Study of Vision based Human Motion Recognition and Analysis.
Marie Charbonneau, Francesco Nori, Daniele Pucci:
On-line Joint Limit Avoidance for Torque Controlled Robots by Joint Space Parametrization.
Emanuele Sansone, Konstantinos Apostolidis, Nicola Conci, Giulia Boato, Vasileios Mezaris, Francesco G. B. De Natale:
Automatic Synchronization of Multi-User Photo Galleries.
Thomas Kober, Julie Weeds, Jeremy Reffin, David J. Weir:
Improving Sparse Word Representations with Distributional Inference for Semantic Composition.
Karthekeyan Chandrasekaran, Corinna Gottschalk, Jochen Könemann, Britta Peis, Daniel Schmand, Andreas Wierz:
Additive Stabilizers for Unstable Graphs.
Javier Aldana-Iuit, Dmytro Mishkin, Ondrej Chum, Jiri Matas:
In the Saddle: Chasing Fast and Repeatable Features.
Siddhartha Banerjee, Daniel Freund, Thodoris Lykouris:
Multi-objective pricing for shared vehicle systems.
Guowang Miao, Amin Azari, Taewon Hwang:
$E^2$-MAC: Energy Efficient Medium Access for Massive M2M Communications.
Salisu Mamman Abdulrahman, Pavel Brazdil:
Effect of Incomplete Meta-dataset on Average Ranking Method.
Xia Yue, Wang Man, Jun Yue, Guangcao Liu:
Parallel K-Medoids++ Spatial Clustering Algorithm Based on MapReduce.
Victoria Peterson, Hugo Leonardo Rufiner, Ruben D. Spies:
Kullback-Leibler Penalized Sparse Discriminant Analysis for Event-Related Potential Classification.
Ugo Scaiella, Giacomo Berardi, Giuliano Mega, Roberto Santoro:
Sedano: A News Stream Processor for Business.
Li Wang, Aaron D. Ames, Magnus Egerstedt:
Multi-objective Compositions for Collision-Free Connectivity Maintenance in Teams of Mobile Robots.
Bronislav Pribyl, Pavel Zemcík, Martin Cadík:
Pose Estimation from Line Correspondences using Direct Linear Transformation.
Joachim Ott, Zhouhan Lin, Ying Zhang, Shih-Chii Liu, Yoshua Bengio:
Recurrent Neural Networks With Limited Numerical Precision.
Patrick Thor Kahl, Anthony P. Leclerc, Tran Cao Son:
A Parallel Memory-efficient Epistemic Logic Program Solver: Harder, Better, Faster.
Fábio Miranda, Harish Doraiswamy, Marcos Lage, Kai Zhao, Bruno Gonçalves, Luc Wilson, Mondrian Hsieh, Cláudio T. Silva:
Urban Pulse: Capturing the Rhythm of Cities.
Hiromi Narimatsu, Hiroyuki Kasai:
State Duration and Interval Modeling in Hidden Semi-Markov Model for Sequential Data Analysis.
Sourav Das, Janardhan Rao Doppa, Partha Pratim Pande, Krishnendu Chakrabarty:
Design-Space Exploration and Optimization of an Energy-Efficient and Reliable 3D Small-world Network-on-Chip.

Ting-Chun Wang, Jun-Yan Zhu, Hiroaki Ebi, Manmohan Chandraker, Alexei A. Efros, Ravi Ramamoorthi:
A 4D Light-Field Dataset and CNN Architectures for Material Recognition.
Benjamin Ultan Cowley, Jari Torniainen:
A short review and primer on electrodermal activity in human computer interaction applications.
Dileep Kalathil, Chenye Wu, Kameshwar Poolla, Pravin Varaiya:
The Sharing Economy for the Smart Grid.
Yangtao Wang, Lihui Chen, Xiaoli Li:
Incremental Minimax Optimization based Fuzzy Clustering for Large Multi-view Data.
Daxin Zhu, Lei Wang, Tinran Wang, Xiaodong Wang:
A simple linear space algorithm for computing a longest common increasing subsequence.
Yangtao Wang, Lihui Chen:
Multi-View Fuzzy Clustering with Minimax Optimization for Effective Clustering of Data from Multiple Sources.
Andrew Owens, Jiajun Wu, Josh H. McDermott, William T. Freeman, Antonio Torralba:
Ambient Sound Provides Supervision for Visual Learning.
Haozhe Xie, Jie Li, Qiaosheng Zhang, Yadong Wang:
Comparison among dimensionality reduction techniques based on Random Projection for cancer classification.
P. Balasubramanian, Nikos E. Mastorakis:
System Reliability, Fault Tolerance and Design Metrics Tradeoffs in the Distributed Minority and Majority Voting Based Redundancy Scheme.
Jie Chen, Cédric Richard, Yingying Song, David Brie:
Transient performance analysis of zero-attracting LMS.

Ziad Alkhoury, Mihály Petreczky, Guillaume Mercère:
Structural properties of LPV to LFR transformation: minimality, input-output behavior and identifiability.
Kuo-Hao Zeng, Tseng-Hung Chen, Juan Carlos Niebles, Min Sun:
Title Generation for User Generated Videos.
Emre Erturk, Santiago Obrutsky:
Multimedia Storage in the Cloud using Amazon Web Services: Implications for Online Education.


David J. Weir, Julie Weeds, Jeremy Reffin, Thomas Kober:
Aligning Packed Dependency Trees: a theory of composition for distributional semantics.
César Roberto de Souza, Adrien Gaidon, Eleonora Vig, Antonio Manuel López Peña:
Sympathy for the Details: Dense Trajectories and Hybrid Classification Architectures for Action Recognition.
Grzegorz Blinowski:
The feasibility of launching physical layer attacks in visible light communication networks.
János Végh:
A new kind of parallelism and its programming in the Explicitly Many-Processor Approach.

(Withdrawn) Total Recursion over Lexicographical Orderings: Elementary Recursive Operators Beyond PR.
Jermain Kaminski, Christian Hopp, Tereza Tykvova:
New Technology Assessment in Entrepreneurial Financing - Can Crowdfunding Predict Venture Capital Investments?
Aylin Caliskan Islam, Joanna J. Bryson, Arvind Narayanan:
Semantics derived automatically from language corpora necessarily contain human biases.
Jisheng Dai, Xu Bao, Weichao Xu, Chunqi Chang:
Root Sparse Bayesian Learning for Off-Grid DOA Estimation.
Santiago Hors-Fraile, Francisco J. Núñez-Benjumea, Laura Carrasco Hernández, Francisco Ortega Ruiz, Luis Fernández-Luque:
Design of two combined health recommender systems for tailoring messages in a smoking cessation app.
Jan-Willem Buurlage, Tom Bannink, Abe Wits:
Bulk-synchronous pseudo-streaming algorithms for many-core accelerators.
Jun-bin Fang, Zhen Che, Xiaolong Yu, Zhe Chen, Zoe L. Jiang, Siu-Ming Yiu, Kui Ren, Xiaoqing Tan:
Capacity-achieving and Flicker-free FEC coding scheme for Dimmable Visible Light Communication Based on Polar Codes.
J. Quetzalcóatl Toledo-Marín, Rogelio Díaz-Méndez, Marcelo del Castillo-Mussot:
Is a good offensive always the best defense?
Tanya Araújo, Elsa Fontainha:
The specific shapes of gender imbalance in scientific authorships: a network approach.
Pierre Bergé, Kaourintin Le Guiban, Arpad Rimmel, Joanna Tomasik:
On Simulated Annealing Dedicated to Maximin Latin Hypercube Designs.
Hyeonseob Nam, Mooyeol Baek, Bohyung Han:
Modeling and Propagating CNNs in a Tree Structure for Visual Tracking.
Shaohuai Shi, Qiang Wang, Pengfei Xu, Xiaowen Chu:
Benchmarking State-of-the-Art Deep Learning Software Tools.
Qingyang Li, Tao Yang, Liang Zhan, Derrek P. Hibar, Neda Jahanshad, Yalin Wang, Jieping Ye, Paul M. Thompson, Jie Wang:
Large-scale Collaborative Imaging Genetics Studies of Risk Genetic Factors for Alzheimer's Disease Across Multiple Institutions.
Christophe Van Gysel, Maarten de Rijke, Evangelos Kanoulas:
Learning Latent Vector Spaces for Product Search.
Alexandre Skoda:
Complexity of inheritance of $\mathcal{F}$-convexity for restricted games induced by minimum partitions.
Satish Chandra, Colin S. Gordon, Jean-Baptiste Jeannin, Cole Schlesinger, Manu Sridharan, Frank Tip, Young-Il Choi:
Type Inference for Static Compilation of JavaScript (Extended Version).
Arvind Chakrapani, Robert A. Malaney, Jinhong Yuan:
Low Complexity Power Allocation Schemes in Regenerative Multi-user Relay Networks.
Sherry Ruan, Jacob O. Wobbrock, Kenny Liou, Andrew Y. Ng, James A. Landay:
Speech Is 3x Faster than Typing for English and Mandarin Text Entry on Mobile Devices.
Farshad Lahouti, Babak Hassibi:
Fundamental Limits of Budget-Fidelity Trade-off in Label Crowdsourcing.
Waseem Abbas, Aron Laszka, Yevgeniy Vorobeychik, Xenofon D. Koutsoukos:
Scheduling Resource-Bounded Monitoring Devices for Event Detection and Isolation in Networks.
Wojciech Mazurczyk, Maciej Karas, Krzysztof Szczypiorski, Artur Janicki:
YouSkyde: Information Hiding for Skype Video Traffic.
Daniel L. Marino, Milos Manic:
Fast Trajectory Simplification Algorithm for Natural User Interfaces in Robot Programming by Demonstration.
Mohsen Imani, Mehrdad Amirabadi, Matthew Wright:
Modified Relay Selection and Circuit Selection for Faster Tor.
Shanyu Zhou, Hulya Seferoglu:
Connectivity-Aware Traffic Phase Scheduling for Heterogeneously Connected Vehicles.
Mehrdad Khaledi, Alhussein A. Abouzeid:
Optimal Bidding in Repeated Wireless Spectrum Auctions with Budget Constraints.
Osvaldo Simeone, Jinkyu Kang, Joonhyuk Kang, Shlomo Shamai:
Cloud Radio Access Networks: Uplink Channel Estimation and Downlink Precoding.
Xi Yang, Wen-Jun Lu, Ning Wang, Karl Nieman, Shi Jin, Hongbo Zhu, Xiaomin Mu, Ian C. Wong, Yongming Huang, Xiaohu You:
Design and Implementation of a TDD-Based 128-Antenna Massive MIMO Prototyping System.
Hyunseok Park, Christopher L. Magee:
Tracing technological development trajectories: A genetic knowledge persistence-based main path approach.
Jen-Yu Liu, Shyh-Kang Jeng, Yi-Hsuan Yang:
Applying Topological Persistence in Convolutional Neural Network for Music Audio Signals.
Gregor Gößler, Oleg Sokolsky:
Proceedings First Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies, CREST@ETAPS 2016, Eindhoven, The Netherlands, 8th April 2016. EPTCS 224, 2016 [contents]
Matt Webster, David Western, Dejanira Araiza-Illan, Clare Dixon, Kerstin Eder, Michael Fisher, Anthony G. Pipe:
An Assurance-based Approach to Verification and Validation of Human-Robot Teams.
Wadim Kehl, Tobias Holl, Federico Tombari, Slobodan Ilic, Nassir Navab:
An Octree-Based Approach towards Efficient Variational Range Data Fusion.
Hossein Ziaei Nafchi, Atena Shahkolaei, Rachid Hedjam, Mohamed Cheriet:
Mean Deviation Similarity Index: Efficient and Reliable Full-Reference Image Quality Evaluator.
Henri Nurminen, Tohid Ardeshiri, Robert Piché, Fredrik Gustafsson:
Skew-t Filter and Smoother with Improved Covariance Matrix Approximation.
Maxime Bucher, Stéphane Herbin, Frédéric Jurie:
Hard Negative Mining for Metric Learning Based Zero-Shot Classification.
Abdallah Makhoul, Christophe Guyeux, Mourad Hakem, Jacques M. Bahi:
Using an epidemiological approach to maximize data survival in the internet of things.
Qin Zou, Zheng Zhang, Qian Wang, Qingquan Li, Long Chen, Song Wang:
Who Leads the Clothing Fashion: Style, Color, or Texture? A Computational Study.
Tadej Vodopivec, Vincent Lepetit, Peter Peer:
Fine Hand Segmentation using Convolutional Neural Networks.
Qi Jia, Xin Fan, Zhongxuan Luo, Lianbo Song, Tie Qiu:
A Fast Ellipse Detector Using Projective Invariant Pruning.
Erwan Le Merrer, Gilles Trédan:
Uncovering Influence Cookbooks : Reverse Engineering the Topological Impact in Peer Ranking Services.
Jason Lowe-Power, Mark D. Hill, David A. Wood:
When to use 3D Die-Stacked Memory for Bandwidth-Constrained Big Data Workloads.
J. M. Landsberg, Mateusz Michalek:
A $2n^2-log(n)-1$ lower bound for the border rank of matrix multiplication.
Stefano Bistarelli, Rosario Culmone, Paolo Giuliodori, Stefano Mugnoz:
Mechanism Design Approach for Energy Efficiency.
Ting Chen, Lu An Tang, Yizhou Sun, Zhengzhang Chen, Kai Zhang:
Entity Embedding-based Anomaly Detection for Heterogeneous Categorical Events.
Markus Chimani, Karsten Klein, Tilo Wiedera:
A Note on the Practicality of Maximal Planar Subgraph Algorithms.
Leszek Aleksander Kolodziejczyk, Henryk Michalewski, Pierre Pradic, Michal Skrzypczak:
The logical strength of Büchi's decidability theorem.
M. Majid Butt, Ioannis Krikidis, Nicola Marchetti:
Minimizing Outage Probability by Exploiting CSI in Wireless Powered Cooperative Networks.
Jade Alglave, Patrick Cousot, Luc Maranget:
Syntax and semantics of the weak consistency model specification language cat.
Valentina Gregori, Barbara Caputo:
Leveraging over intact priors for boosting control and dexterity of prosthetic hands by amputees.
Caroline Trippel, Yatin A. Manerkar, Daniel Lustig, Michael Pellauer, Margaret Martonosi:
Exploring the Trisection of Software, Hardware, and ISA in Memory Model Design.

Jack S. Hale, Lizao Li, Chris N. Richardson, Garth N. Wells:
Containers for portable, productive and performant scientific computing.

Gerda Bortsova, Michael Sterr, Lichao Wang, Fausto Milletari, Nassir Navab, Anika Böttcher, Heiko Lickert, Fabian J. Theis, Tingying Peng:
Mitosis Detection in Intestinal Crypt Images with Hough Forest and Conditional Random Fields.
Jianfeng Chen, Vivek Nair, Rahul Krishna, Tim Menzies:
Is "Sampling" better than "Evolution" for Search-based Software Engineering?
Matthew A. Wright, Roberto Horowitz, Alex A. Kurzhanskiy:
A dynamic system characterization of road network node models.
Mehdi Naderi Soorki, Mohammad Mozaffari, Walid Saad, Mohammad Hossein Manshaei, Hossein Saidi:
Resource Allocation for Machine-to-Machine Communications with Unmanned Aerial Vehicles.
Zhao Zhang, Jiao Zhou, Xiaohui Huang, Ding-Zhu Du:
Performance Guaranteed Approximation Algorithm for Minimum $k$-Connected $m$-Fold Dominating Set.
Hossein Hosseini, Sreeram Kannan, Baosen Zhang, Radha Poovendran:
Learning Temporal Dependence from Time-Series Data with Latent Variables.
Yuval Atzmon, Jonathan Berant, Vahid Kezami, Amir Globerson, Gal Chechik:
Learning to generalize to new compositions in image understanding.
Roksana Baleshzar, Meiram Murzabulatov, Ramesh Krishnan S. Pallavoor, Sofya Raskhodnikova:
Testing Unateness of Real-Valued Functions.
Vasudevan Nagendra, Shubhada Patil, Michalis Polychronakis, Samir R. Das:
TopoMan: Global Network Visibility in the Presence of Middleboxes (A Graybox Approach).
Seok-Hee Hong, Hiroshi Nagamochi:
Re-embedding a 1-Plane Graph into a Straight-line Drawing in Linear Time.
Jianhong Wang, Tian Lan, Xu Zhang, Limin Luo:
Spatio-temporal Aware Non-negative Component Representation for Action Recognition.
Ruijin Sun, Ying Wang, Zhongyu Miao, Xinshui Wang:
Destination-aided Wireless Power Transfer in Energy-limited Cognitive Relay Systems.
Sobin C. C., Snehanshu Saha, Vaskar Raychoudhury, Hategekimana Fidele, Sumana Sinha:
CISER: An Amoebiasis inspired Model for Epidemic Message Propagation in DTN.
Ruijin Sun, Ying Wang, Xinshui Wang, Yuan Zhang:
Transceiver Design for Cooperative Non-Orthogonal Multiple Access Systems with Wireless Energy Transfer.
Sungho Jeon, Jeong-Han Yun, Seungoh Choi, Woonyon Kim:
Passive Fingerprinting of SCADA in Critical Infrastructure Network without Deep Packet Inspection.
Han Xiao, Minlie Huang, Xiaoyan Zhu:
Knowledge Semantic Representation: A Generative Model for Interpretable Knowledge Graph Embedding.
Thomas Tanay, Lewis D. Griffin:
A Boundary Tilting Persepective on the Phenomenon of Adversarial Examples.
Xiaojie Jin, Yunpeng Chen, Jiashi Feng, Zequn Jie, Shuicheng Yan:
Multi-Path Feedback Recurrent Neural Network for Scene Parsing.

Xiaozhi Chen, Kaustav Kundu, Yukun Zhu, Huimin Ma, Sanja Fidler, Raquel Urtasun:
3D Object Proposals using Stereo Imagery for Accurate Object Class Detection.

Fei Li, Meishan Zhang, Guohong Fu, Tao Qian, Donghong Ji:
A Bi-LSTM-RNN Model for Relation Classification Using Low-Cost Sequence Features.



Enrico Santus, Emmanuele Chersoni, Alessandro Lenci, Chu-Ren Huang, Philippe Blache:
Testing APSyn against Vector Cosine on Similarity Estimation.
Jordan Frécon, Nelly Pustelnik, Nicolas Dobigeon, Herwig Wendt, Patrice Abry:
Bayesian selection for the regularization parameter in TVl0 denoising problems.
Arindam Das, Olivia Das:
Effect of Human Learning on the Transient Performance of Cloud-based Tiered Applications.
Yuepeng Wang, Yu Feng, Ruben Martins, Arati Kaushik, Isil Dillig, Steven P. Reiss:
Type-Directed Code Reuse using Integer Linear Programming.
Yingfei Xiong, Jie Wang, Runfa Yan, Jiachen Zhang, Shi Han, Gang Huang, Lu Zhang:
Precise Condition Synthesis for Program Repair.
Qiang Li, Wing-Kin Ma, Dong Han:
Sum Secrecy Rate Maximization for Full-Duplex Two-Way Relay Networks Using Alamouti-based Rank-Two Beamforming.
Wei Fang, Juei-Yang Hsu, Hung-yi Lee, Lin-Shan Lee:
Hierarchical Attention Model for Improved Machine Comprehension of Spoken Content.


David Cohen, Deborah Cohen, Yonina C. Eldar, Alexander M. Haimovich:
SUMMeR: Sub-Nyquist MIMO Radar.
Kai Yang, Yuanming Shi, Zhi Ding:
Low-Rank Matrix Completion for Mobile Edge Caching in Fog-RAN via Riemannian Optimization.
Mohamed Aly, Wolfgang Heidrich:
MindX: Denoising Mixed Impulse Poisson-Gaussian Noise Using Proximal Algorithms.
M. Chandrajit, R. Girisha, T. Vasudev, Ashok C. B:
Cast and Self Shadow Segmentation in Video Sequences using Interval based Eigen Value Representation.
Ulf Rüegg, Thorsten Ehlers, Miro Spönemann, Reinhard von Hanxleden:
A Generalization of the Directed Graph Layering Problem.
Chien Van Trinh, Khanh Quoc Dinh, Viet Anh Nguyen, Byeungwoo Jeon:
Total variation reconstruction for compressive sensing using nonlocal Lagrangian multiplier.
Henry M. Kim, Jackie Ho Nam Cheung, Marek Laskowski, Iryna Gel:
Data Analytics using Ontologies of Management Theories: Towards Implementing 'From Theory to Practice'.
Chao-Lin Liu:
Quantitative Analyses of Chinese Poetry of Tang and Song Dynasties: Using Changing Colors and Innovative Terms as Examples.
Nilesh Khambekar, Chad M. Spooner, Vipin Chaudhary:
Quantified Spectrum Sharing: Motivation, Approach, and Benefits.
Éric Colin de Verdière, Vojtech Kaluza, Pavel Paták, Zuzana Patáková, Martin Tancer:
A Direct Proof of the Strong Hanani-Tutte Theorem on the Projective Plane.
Derya Malak, Mazin Al-Shalash, Jeffrey G. Andrews:
Optimizing The Spatial Content Caching Distribution for Device-to-Device Communications.
Derya Malak, Mazin Al-Shalash, Jeffrey G. Andrews:
Optimizing Content Caching to Maximize the Density of Successful Receptions in Device-to-Device Networking.
Monowar Hasan, Sibin Mohan, Rakesh B. Bobba, Rodolfo Pellizzoni:
Exploring Opportunistic Execution for Integrating Security into Legacy Hard Real-Time Systems.


Georgiana Caltais, Stefan Leue, Mohammad Reza Mousavi:
(De-)Composing Causality in Labeled Transition Systems. 10-24
Severin Kacianka, Florian Kelbert, Alexander Pretschner:
Towards a Unified Model of Accountability Infrastructures. 40-54
Luca de Alfaro, Marco Faella, Vassilis Polychronopoulos, Michael Shavlovsky:
Incentives for Truthful Evaluations.
Cong Shen, Cem Tekin, Mihaela van der Schaar:
A Non-stochastic Learning Approach to Energy Efficient Mobility Management.
Olfa Nasraoui, Patrick Shafto:
Human-Algorithm Interaction Biases in the Big Data Cycle: A Markov Chain Iterated Learning Framework.




Sahar Imtiaz, Hadi G. Ghauch, Muhammad Mahboob Ur Rahman, George P. Koudouridis, James Gross:
Learning-Based Resource Allocation Scheme for TDD-Based CRAN System.
Seoung Wug Oh, Seon Joo Kim:
Approaching the Computational Color Constancy as a Classification Problem through Deep Learning.
Alex Olieman, Jaap Kamps, Gleb Satyukov, Emil de Valk:
Topical Generalization of Expertise Profiles: Toward a Usable Up-To-Date Profile Page.
Conor Sexton, Quentin Bodinier, Arman Farhang, Nicola Marchetti, Faouzi Bader, Luiz A. DaSilva:
Coexistence of OFDM and FBMC for Underlay D2D Communication in 5G Networks.
Yangqi Huang, Wang Kang, Xichao Zhang, Yan Zhou, Weisheng Zhao:
Magnetic skyrmion-based synaptic devices.
Werner Marx, Robin Haunschild, Andreas Thor, Lutz Bornmann:
Which early works are cited most frequently in climate change research literature? A bibliometric approach based on Reference Publication Year Spectroscopy.
Qian Yang, Hui-Ming Wang, Yi Zhang, Zhu Han:
Physical Layer Security in MIMO Backscatter Wireless Systems.
Timo Schindler, Christoph Skornia:
Secure Parallel Processing of Big Data Using Order-Preserving Encryption on Google BigQuery.
Tu Lam Thanh, Marco Di Renzo, Justin P. Coon:
MIMO Cellular Networks with Simultaneous Wireless Information and Power Transfer.
William X. Liu, Tat-Jun Chin:
Correspondence Insertion for As-Projective-As-Possible Image Stitching.
Rui Wang, Jun Zhang, Shenghui Song, Khaled Ben Letaief:
Optimal QoS-Aware Channel Assignment in D2D Communications with Partial CSI.
Tomer Ashur, Orr Dunkelman, Nimrod Talmon:
Breaching the Privacy of Israel's Paper Ballot Voting System.
Kye-Hyeon Kim, Yeongjae Cheon, Sanghoon Hong, Byung-Seok Roh, Minje Park:
PVANET: Deep but Lightweight Neural Networks for Real-time Object Detection.
Martin Gronemann, Michael Jünger, Frauke Liers, Francesco Mambelli:
Crossing Minimization in Storyline Visualization.
Paul K. Rubenstein, Stephan Bongers, Joris M. Mooij, Bernhard Schölkopf:
From Deterministic ODEs to Dynamic Structural Causal Models.
Xiang Wang, Huimin Ma, Shaodi You, Xiaozhi Chen:
Edge Preserving and Multi-Scale Contextual Neural Network for Salient Object Detection.
Niklas Ravaja, Ben Cowley, Jari Torniainen:
A short review and primer on electromyography in human computer interaction applications.
Junlin Yu, Man Hon Cheung, Jianwei Huang:
Spectrum Investment under Uncertainty: A Behavioral Economics Perspective.
Junjian Qi, Jianhui Wang, Hui Liu, Aleksandar D. Dimitrovski:
Nonlinear Model Reduction in Power Systems by Balancing of Empirical Controllability and Observability Covariances.
Samaneh Abbasi-Sureshjani, Marta Favali, Giovanna Citti, Alessandro Sarti, Bart M. ter Haar Romeny:
Cortically-Inspired Spectral Clustering for Connectivity Analysis in Retinal Images: Curvature Integration.
Akin Tascikaraoglu, Fatma Yildiz Tascikaraoglu, Ibrahim B. Küçükdemiral:
Kisa Donem Uzam-Zamansal Trafik Tahmini.
Leslie F. Sikos:
A Novel Approach to Multimedia Ontology Engineering for Automated Reasoning over Audiovisual LOD Datasets.
Fred Maurice Ngolè Mboula, Jean-Luc Starck, Koryo Okumura, Jérôme Amiaux, P. Hudelot:
Constraint matrix factorization for space variant PSFs field restoration.
Cassidy R. Sugimoto, Sam Work, Vincent Larivière, Stefanie Haustein:
Scholarly use of social media and altmetrics: a review of the literature.
Alberto Montes, Amaia Salvador, Xavier Giró i Nieto:
Temporal Activity Detection in Untrimmed Videos with Recurrent Neural Networks.
Magnus Knuth, Olaf Hartig, Harald Sack:
Scheduling Refresh Queries for Keeping Results from a SPARQL Endpoint Up-to-Date (Extended Version).
Cristian Reyes, Eva Mohedano, Kevin McGuinness, Noel E. O'Connor, Xavier Giró i Nieto:
Where is my Phone ? Personal Object Retrieval from Egocentric Images.
Reza Rafie Borujeny, Moslem Noori, Masoud Ardakani:
Maximizing Data Rate for Multiway Relay Channels with Pairwise Transmission Strategy.
Olaf Hartig, Carlos Buil Aranda:
brTPF: Bindings-Restricted Triple Pattern Fragments (Extended Preprint).
Nader Mahmoud, Iñigo Cirauqui, Alexandre Hostettler, Christophe Doignon, Luc Soler, Jacques Marescaux, J. M. M. Montiel:
ORBSLAM-based Endoscope Tracking and 3D Reconstruction.

Yao Sui, Ziming Zhang, Guanghui Wang, Yafei Tang, Li Zhang:
Real-Time Visual Tracking: Promoting the Robustness of Correlation Filter Learning.
Amritanshu Agrawal, Wei Fu, Tim Menzies:
What is Wrong with Topic Modeling? (and How to Fix it Using Search-based SE).
Judit Bar-Ilan, Rob Koopman, Shenghui Wang, Andrea Scharnhorst, Marcus John, Philipp Mayr, Dietmar Wolfram:
Bibliometrics and Information Retrieval: Creating Knowledge through Research Synergies.
Bo Li, Yining Wang, Aarti Singh, Yevgeniy Vorobeychik:
Data Poisoning Attacks on Factorization-Based Collaborative Filtering.


Colin Lea, René Vidal, Austin Reiter, Gregory D. Hager:
Temporal Convolutional Networks: A Unified Approach to Action Segmentation.
Igor Polkovnikov:
Construction of Convex Sets on Quadrilateral Ordered Tiles or Graphs with Propagation Neighborhood Operations. Dales, Concavity Structures. Application to Gray Image Analysis of Human-Readable Shapes.
Hoang Nguyen, Marlon Dumas, Marcello La Rosa, Fabrizio Maria Maggi, Suriadi Suriadi:
Business Process Deviance Mining: Review and Evaluation.
Juntao Chen, Quanyan Zhu:
A Stackelberg Game Approach for Two-Level Distributed Energy Management in Smart Grids.
Bahareh Arab, Dieter Gawlick, Vasudha Krishnaswamy, Venkatesh Radhakrishnan, Boris Glavic:
Reenactment for Read-Committed Snapshot Isolation.
Pradipta Ghosh, Bhaskar Krishnamachari:
Interference Power Bound Analysis of a Network of Wireless Robots.
Michael Gelfond, Yuanlin Zhang:
Vicious Circle Principle and Formation of Sets in ASP Based Languages.
Antonio Vergari, Nicola Di Mauro, Floriana Esposito:
Visualizing and Understanding Sum-Product Networks.
Andrey Y. Lokhov, David Saad:
Optimal Deployment of Resources for Maximizing Impact in Spreading Processes.
Shantanu Chakraborty, Toshiya Okabe:
Robust Energy Storage Scheduling for Imbalance Reduction of Strategically Formed Energy Balancing Groups.
Ronghang Hu, Marcus Rohrbach, Subhashini Venugopalan, Trevor Darrell:
Utilizing Large Scale Vision and Text Datasets for Image Segmentation from Referring Expressions.
Boya Di, Lingyang Song, Yonghui Li:
Sub-channel Assignment, Power Allocation and User Scheduling for Non-Orthogonal Multiple Access Networks.
Kai Stadtmüller, Martin Sulzmann, Peter Thiemann:
Static Trace-Based Deadlock Analysis for Synchronous Mini-Go.
Shiori Hironaka, Mitsuo Yoshida, Kyoji Umemura:
Analysis of Home Location Estimation with Iteration on Twitter Following Relationship.
Ming Yin, Junbin Gao, Shengli Xie, Yi Guo:
Low-rank Multi-view Clustering in Third-Order Tensor Space.
Taehwan Kim:
American Sign Language fingerspelling recognition from video: Methods for unrestricted recognition and signer-independence.
Xiaofei Xu, Gianmario Motta, Xianzhi Wang, Zhiying Tu, Hanchuan Xu:
A New Paradigm of Software Service Engineering in the Era of Big Data and Big Service.
Minna Huotilainen, Benjamin Ultan Cowley, Lauri Ahonen:
A short review and primer on event-related potentials in human computer interaction applications.
Hatem Ibn-Khedher, Makhlouf Hadji, Emad Abd-Elrahman, Hossam Afifi, Ahmed E. Kamal:
Scalable and Cost Efficient Algorithms for Virtual CDN Migration.
Anna Ben-Hamou, Stéphane Boucheron, Elisabeth Gassiat:
Pattern Coding Meets Censoring: (almost) Adaptive Coding on Countable Alphabets.
Oliver Wannenwetsch, Tim A. Majchrzak:
On Constructing Persistent Identifiers with Persistent Resolution Targets.
(Withdrawn) Empirical Chaos Processes and Blind Deconvolution.
Michael Gautschi, Pasquale Davide Schiavone, Andreas Traber, Igor Loi, Antonio Pullini, Davide Rossi, Eric Flamand, Frank K. Gürkaynak, Luca Benini:
A near-threshold RISC-V core with DSP extensions for scalable IoT Endpoint Devices.
Samuel Martin, Irinel-Constantin Morarescu, Dragan Nesic:
Time scale modeling for consensus in sparse directed networks with time-varying topologies.
Malte Skambath, Till Tantau:
Offline Drawing of Dynamic Trees: Algorithmics and Document Integration.
Jason Crampton, Naomi Farley, Gregory Z. Gutin, Mark Jones, Bertram Poettering:
Cryptographic Enforcement of Information Flow Policies without Public Information via Tree Partitions.
Hirokatsu Kataoka, Yun He, Soma Shirakabe, Yutaka Satoh:
Motion Representation with Acceleration Images.
Mordechai Guri, Matan Monitz, Yuval Elovici:
USBee: Air-Gap Covert-Channel via Electromagnetic Emission from USB.
Walter Didimo, Giuseppe Liotta, Saeed Mehrabi, Fabrizio Montecchiani:
1-Bend RAC Drawings of 1-Planar Graphs.
Emilio Di Giacomo, Giuseppe Liotta, Fabrizio Montecchiani:
1-bend Upward Planar Drawings of SP-digraphs.
Patrizio Angelini, Steven Chaplick, Sabine Cornelsen, Giordano Da Lozzo, Giuseppe Di Battista, Peter Eades, Philipp Kindermann, Jan Kratochvíl, Fabian Lipp, Ignaz Rutter:
Simultaneous Orthogonal Planarity.
Byungjae Lee, Enkhbayar Erdenee, SongGuo Jin, Phill-Kyu Rhee:
Multi-Class Multi-Object Tracking using Changing Point Detection.
Rajasekar Venkatesan, Meng Joo Er:
Multi-Label Classification Method Based on Extreme Learning Machines.
Sebastian Schiessl, Hussein Al-Zubaidy, Mikael Skoglund, James Gross:
Analysis of Wireless Communications with Finite Blocklength and Imperfect Channel Knowledge.

Jean-François Determe, Jérôme Louveaux, Laurent Jacques, François Horlin:
Improving the Correlation Lower Bound for Simultaneous Orthogonal Matching Pursuit.
K. S. Nisar:
Construction of Zero Cross Correlation Code using a type of Pascal's Triangle Matrix for Spectral Amplitude Coding Optical Code Division Multiple Access networks.
M. K. Talebi, Saeed Manaffam, A. K. Jain, Aman Behal:
Intelligent Pinning Based Cooperative Secondary Control of Distributed Generators for Microgrid in Islanding Operation Mode.
Xiaoqi Yin, Mihovil Bartulovic, Vyas Sekar, Bruno Sinopoli:
On the Efficiency and Fairness of Multiplayer HTTP-based Adaptive Video Streaming.
Johannes Stegmaier:
New Methods to Improve Large-Scale Microscopy Image Analysis with Prior Knowledge and Uncertainty.
Remi A. Chou, Matthieu Bloch, Jörg Kliewer:
Empirical and Strong Coordination via Soft Covering with Polar Codes.
Bingtian Xue, Stefan Schmid, Kim G. Larsen:
WNetKAT: A Weighted SDN Programming and Verification Language.
Per Bækgaard, Michael Kai Petersen, Jakob Eg Larsen:
Separating Components of Attention and Surprise.
Simon Miller, Christian Wagner, Uwe Aickelin, Jonathan M. Garibaldi:
Modelling Cyber-Security Experts' Decision Making Processes using Aggregation Operators.
Andreas Bärtschi, Jérémie Chalopin, Shantanu Das, Yann Disser, Barbara Geissmann, Daniel Graf, Arnaud Labourel, Matús Mihalák:
Collaborative Delivery with Energy-Constrained Mobile Robots.
Carla Binucci, Markus Chimani, Walter Didimo, Giuseppe Liotta, Fabrizio Montecchiani:
Placing Arrows in Directed Graph Drawings.
Ivana Balazevic, Mikio Ludwig Braun, Klaus-Robert Müller:
Language Detection For Short Text Messages In Social Media.
Haifeng Zhang, Yevgeniy Vorobeychik:
Empirically Grounded Agent-Based Models of Innovation Diffusion: A Critical Review.
Mojgan Khaledi, Mehrdad Khaledi, Sneha Kumar Kasera:
Profitable Task Allocation in Mobile Cloud Computing.
Alessio Arleo, Walter Didimo, Giuseppe Liotta, Fabrizio Montecchiani:
A Distributed Multilevel Force-directed Algorithm.
Nikhil Bansal, Marek Eliás, Lukasz Jez, Grigorios Koumoutsos:
New Bounds for the $(h, k)$-Server Problem.
Patrizio Angelini, Michael A. Bekos, Till Bruckdorfer, Jaroslav Hancl, Michael Kaufmann, Stephen G. Kobourov, Antonios Symvonis, Pavel Valtr:
Low Ply Drawings of Trees.
Massimo Cairo, Romeo Rizzi:
Dynamic Controllability of Conditional Simple Temporal Networks is PSPACE-complete.

Muhammad R. A. Khandaker, Kai-Kit Wong, Yangyang Zhang, Zhongbin Zheng:
Probabilistically Robust SWIPT for Secrecy MISOME Systems.
Andreas Holzer, Daniel Schwartz-Narbonne, Mitra Tabaei Befrouei, Georg Weissenbacher, Thomas Wies:
Error Invariants for Concurrent Traces.
Nan I. Li, Dave W. Oyler, Mengxuan Zhang, Yildiray Yildiz, Ilya V. Kolmanovsky, Anouck R. Girard:
Game-Theoretic Modeling of Driver and Vehicle Interactions for Verification and Validation of Autonomous Vehicle Control Systems.
Matti Raitoharju, Samu Kallio, Matti Pellikka:
A statistical model of tristimulus measurements within and between OLED displays.
Mengyuan Wu, Ke Li, Sam Kwong, Yu Zhou, Qingfu Zhang:
Adaptive Two-Level Matching-Based Selection for Decomposition Multi-Objective Optimization.
Roy D. Yates, Sanjit K. Kaul:
The Age of Information: Real-Time Status Updating by Multiple Sources.
Mohsen Yousefbeiki, Andrew Charles Mallory Austin, Juan R. Mosig, Andreas Burg, Julien Perruisseau-Carrier:
Spatial Multiplexing of QPSK Signals with a Single Radio: Antenna Design and Over-the-Air Experiments.
Veronika Strnadová-Neeley, Aydin Buluç, John R. Gilbert, Leonid Oliker, Weimin Ouyang:
LiRa: A New Likelihood-Based Similarity Score for Collaborative Filtering.
Alexandros V. Gerbessiotis:
Using parallelism techniques to improve sequential and multi-core sorting performance.
Navjot Kukreja, Mathias Louboutin, Felippe Vieira, Fabio Luporini, Michael Lange, Gerard Gorman:
Devito: automated fast finite difference computation.

Jens Forsgård, Laura Felicia Matusevich, Nathan Mehlhop, Timo de Wolff:
Lopsided Approximation of Amoebas.
Jan-Hendrik Lange, Marc E. Pfetsch, Bianca M. Seib, Andreas M. Tillmann:
Sparse Recovery With Integrality Constraints.
Andras Farago:
Roughly Polynomial Time: A Concept of Tractability Covering All Known Natural NP-complete Problems.
Eduardo M. Vasconcelos, Kelvin Lopes Dias:
A Colored Petri Net Model of Simulation for Performance Evaluation for IEEE 802.22 based Network.


Christoph Berkholz, Jakob Nordström:
Near-Optimal Lower Bounds on Quantifier Depth and Weisfeiler-Leman Refinement Steps.
Hao Li, Asim Kadav, Igor Durdanovic, Hanan Samet, Hans Peter Graf:
Pruning Filters for Efficient ConvNets.
C. Lawrence Zitnick, Aishwarya Agrawal, Stanislaw Antol, Margaret Mitchell, Dhruv Batra, Devi Parikh:
Measuring Machine Intelligence Through Visual Question Answering.
Maziar Mirzazad Barijough, J. J. Garcia-Luna-Aceves:
Making On-Demand Routing Efficient with Route-Request Aggregation.
Shih-Ying Chen, Ting-Feng Huang, Kate Ching-Ju Lin, Y.-W. Peter Hong, Ashutosh Sabharwal:
Probabilistic Medium Access Control for Full-Duplex Networks with Half-Duplex Clients.
Andrea Renika D'Souza, Di Yang, Cristina V. Lopes:
Collective Intelligence for Smarter API Recommendations in Python.
Stéphan Tulkens, Lisa Hilte, Elise Lodewyckx, Ben Verhoeven, Walter Daelemans:
A Dictionary-based Approach to Racism Detection in Dutch Social Media.
Mengfan Zheng, Cong Ling, Wen Chen, Meixia Tao:
A New Polar Coding Scheme for the Interference Channel.
Qian Ma, Lin Gao, Ya-Feng Liu, Jianwei Huang:
Economic Analysis of Crowdsourced Wireless Community Networks.
Bassam AlKindy, Bashar Al-Nuaimi, Christophe Guyeux, Jean-François Couchot, Michel Salomon, Reem Alsrraj, Laurent Philippe:
Binary Particle Swarm Optimization versus Hybrid Genetic Algorithm for Inferring Well Supported Phylogenetic Trees.
Pingfan Kong, Yi Li, Xiaohong Chen, Jun Sun, Meng Sun, Jingyi Wang:
Towards Concolic Testing for Hybrid Systems.
Tingting Xie, Yuxing Peng, Changjian Wang:
hi-RF: Incremental Learning Random Forest for large-scale multi-class Data Classification.
Joëlle Despeyroux, Carlos Olarte, Elaine Pimentel:
Hybrid and Subexponential Linear Logics Technical Report.
Junhaeng Lee, Tobi Delbrück, Michael Pfeiffer:
Training Deep Spiking Neural Networks using Backpropagation.
Mihály Héder, F. Bisztray, Gy. Lakatos, G. Malasits, P. Ormos, E. Prunk-Éger, J. Rigó, Szabolcs Tenczer, Erno Rigó:
Security checklist for IaaS cloud deployments.
David Bremner, Olivier Devillers, Marc Glisse, Sylvain Lazard, Giuseppe Liotta, Tamara Mchedlidze, Sue Whitesides, Stephen K. Wismath:
Monotone Simultaneous Embeddings of Paths in R^d.
Miguel Ángel Bautista, Artsiom Sanakoyeu, Ekaterina Sutter, Björn Ommer:
CliqueCNN: Deep Unsupervised Exemplar Learning.
Soumi Chattopadhyay, Ansuman Banerjee:
QoS constrained Large Scale Web Service Composition using Abstraction Refinement.
Oswald Barral:
A short review and primer on pupillometry in human computer interaction applications.
Michael Muehlebach, Raffaello D'Andrea:
Approximation of Continuous-Time Infinite-Horizon Optimal Control Problems Arising in Model Predictive Control - Supplementary Notes.
Guillaume Noyel, Michel Jourlin:
Spatio-colour Asplünd 's metric and Logarithmic Image Processing for Colour Images (LIPC).
Ali Diba, Ali Mohammad Pazandeh, Luc Van Gool:
Efficient Two-Stream Motion and Appearance 3D CNNs for Video Classification.
Michael A. Raskin, N. Nikitenkov:
Paradoxical examples of social networks games with product choice.
Su Lin Blodgett, Lisa Green, Brendan O'Connor:
Demographic Dialectal Variation in Social Media: A Case Study of African-American English.
Rachid Ahdid, El Mahdi Barrah, Said Safi, Bouzid Manaut:
Facial Surface Analysis using Iso-Geodesic Curves in Three Dimensional Face Recognition System.
Nicolas Bonichon, Prosenjit Bose, Paz Carmi, Irina Kostitsyna, Anna Lubiw, Sander Verdonschot:
Gabriel Triangulations and Angle-Monotone Graphs: Local Routing and Recognition.
Meng Joo Er, Rajasekar Venkatesan, Ning Wang:
A High Speed Multi-label Classifier based on Extreme Learning Machines.
Alessio Arleo, Carla Binucci, Emilio Di Giacomo, William S. Evans, Luca Grilli, Giuseppe Liotta, Henk Meijer, Fabrizio Montecchiani, Sue Whitesides, Stephen K. Wismath:
Visibility Representations of Boxes in 2.5 Dimensions.
Rajasekar Venkatesan, Meng Joo Er, Shiqian Wu, Mahardhika Pratama:
A Novel Online Real-time Classifier for Multi-label Data Streams.
Victor Quintero, Samir Medina Perlaza, Iñaki Esnaola, Jean-Marie Gorce:
Approximate Capacity of the Two-User Gaussian Interference Channel with Noisy Channel-Output Feedback.


Victor Quintero, Samir Medina Perlaza, Jean-Marie Gorce:
Noisy Channel-Output Feedback Capacity of the Linear Deterministic Interference Channel.
Tao Chen, Ke Li, Rami Bahsoon, Xin Yao:
FEMOSAA: Feature Guided and Knee Driven Multi-Objective Optimization for Self-Adaptive Software at Runtime.
Paolo Federico, Silvia Miksch:
Evaluation of two interaction techniques for visualization of dynamic graphs.
Luis Argerich, Joaquín Torré Zaffaroni, Matías J. Cano:
Hash2Vec, Feature Hashing for Word Embeddings.
Giordano Da Lozzo, Giuseppe Di Battista, Fabrizio Frati, Maurizio Patrignani:
Computing NodeTrix Representations of Clustered Graphs.
Mehrnoosh Sameki, Mattia Gentil, Kate K. Mays, Lei Guo, Margrit Betke:
Dynamic Allocation of Crowd Contributions for Sentiment Analysis during the 2016 U.S. Presidential Election.
Matthias van der Hallen, Sergey Paramonov, Michael Leuschel, Gerda Janssens:
Knowledge Representation Analysis of Graph Mining.
Alhussein Fawzi, Seyed-Mohsen Moosavi-Dezfooli, Pascal Frossard:
Robustness of classifiers: from adversarial to random noise.
Md. Jawaherul Alam, Michael T. Goodrich, Timothy Johnson:
J-Viz: Sibling-First Recursive Graph Drawing for Visualizing Java Bytecode.
Yash Goyal, Akrit Mohapatra, Devi Parikh, Dhruv Batra:
Interpreting Visual Question Answering Models.
Reudismam Rolim de Sousa, Gustavo Soares, Loris D'Antoni, Oleksandr Polozov, Sumit Gulwani, Rohit Gheyi, Ryo Suzuki, Bjoern Hartmann:
Learning Syntactic Program Transformations from Examples.
Nemanja Spasojevic, Prantik Bhattacharyya, Adithya Rao:
Mining Half a Billion Topical Experts Across Multiple Social Networks.
Alexander Rakhlin, Karthik Sridharan:
A Tutorial on Online Supervised Learning with Applications to Node Classification in Social Networks.
Rhiannon V. Rose, Daniel J. Lizotte:
gLOP: the global and Local Penalty for Capturing Predictive Heterogeneity.
Renbo Zhao, Vincent Y. F. Tan, Huan Xu:
Online Nonnegative Matrix Factorization with General Divergences.
Hamid Dadkhahi, Benjamin M. Marlin:
Learning Tree-Structured Detection Cascades for Heterogeneous Networks of Embedded Devices.
Justyna Grudzinska, Marek W. Zawadowski:
Continuation semantics for multi-quantifier sentences: operation-based approaches.
Neeraj Bokde, Kishore Kulat:
R package imputeTestbench as a Testbench to compare missing value imputation methods.

Henry E. Baidoo-Williams:
Robust and Scalable Tracking of Radiation Sources with Cheap Binary Proximity Sensors.
Changchuan Yin:
Identification of repeats in DNA sequences using nucleotide distribution uniformity.
Bailey K. Fosdick, Daniel B. Larremore, Joel Nishimura, Johan Ugander:
Configuring Random Graph Models with Fixed Degree Sequences.
Subhadeep Paul, Yuguo Chen:
Null Models and Modularity Based Community Detection in Multi-Layer Networks.
Shalmali Joshi, Suriya Gunasekar, David Sontag, Joydeep Ghosh:
Identifiable Phenotyping using Constrained Non-Negative Matrix Factorization.
Zhao Yang, René Algesheimer, Claudio Juan Tessone:
A Comparative Analysis of Community Detection Algorithms on Artificial Networks.
S. Akbari, P. Csíkvári, A. Ghafari, S. Khalashi Ghezelahmad, M. Nahvi:
Graphs with Integer Matching Polynomial Roots.
Myong-Song Ho, Kwang-Nam Oh, Chol-Jun Hwang:
The continuity and uniqueness of the value function of the hybrid optimal control problem with reach time to a target set.

Petros A. Petrosyan, Hrant Khachatrian:
Some parameters related to the deficiency of graphs and the deficiency of near-complete graphs.
Christopher A. Ahern, Mitchell G. Newberry, Robin Clark, Joshua B. Plotkin:
Evolutionary forces in language change.
H. V. Jayashree, Himanshu Thapliyal, Hamid R. Arabnia, Vinod Kumar Agrawal:
Ancilla-Input and Garbage-Output Optimized Design of a Reversible Quantum Integer Multiplier.

Travis S. Humble, M. Nance Ericson, Jacek Jakowski, Jingsong Huang, Charles Britton, Franklin G. Curtis, Eugene F. Dumitrescu, Fahd A. Mohiyaddin, Bobby G. Sumpter:
A Computational Workflow for Designing Silicon Donor Qubits.
Maryam Bahrani, Jérémie O. Lumbroso:
Enumerations, Forbidden Subgraph Characterizations, and the Split-Decomposition.
Ruhul Amin, Sk. Md. Abu Nayeem:
On the F-index and F-coindex of the line graphs of the subdivision graphs.
Majid Zamani, Murat Arcak:
Compositional abstraction for networks of control systems: A dissipativity approach.
Ramón Huerta, Thiago Mosqueiro, Jordi Fonollosa, Nikolai F. Rulkov, Irene Rodríguez-Luján:
Online Decorrelation of Humidity and Temperature in Chemical Sensors for Continuous Monitoring.
Delbary Fabrice, Sara Garbarino:
Compartmental analysis of dynamic nuclear medicine data: regularization procedure and application to physiology.
Kunal Bhattacharya, Asim Ghosh, Daniel Monsivais, Robin Dunbar, Kimmo Kaski:
Absence makes the heart grow fonder: social compensation when failure to interact risks weakening a relationship.
Rashish Tandon, Si Si, Pradeep Ravikumar, Inderjit S. Dhillon:
Kernel Ridge Regression via Partitioning.
Nai-Hui Chia, Sean Hallgren:
How hard is deciding trivial versus nontrivial in the dihedral coset problem?
Martin Roetteler:
Quantum algorithms for abelian difference sets and applications to dihedral hidden subgroups.
Julia Poncela-Casasnovas, Mario Gutiérrez-Roig, Carlos Gracia-Lázaro, Julián Vicens, Jesús Gómez-Gardeñes, Josep Perello, Yamir Moreno, Jordi Duch, Ángel Sánchez:
Humans display a reduced set of consistent behavioral phenotypes in dyadic games.
Emily M. Cody, Andrew J. Reagan, Peter Sheridan Dodds, Christopher M. Danforth:
Public Opinion Polling with Twitter.
Hadi Zayyani, Mehdi Korki:
Weighted diffusion LMP algorithm for distributed estimation in non-uniform noise conditions.
N. Benjamin Erichson, Sergey Voronin, Steven L. Brunton, J. Nathan Kutz:
Randomized Matrix Decompositions using R.
Max I. Kanovich, Stepan Kuznetsov, Andre Scedrov:
Reconciling Lambek's restriction, cut-elimination, and substitution in the presence of exponential modalities.
Gyuhyeon Jeon, Juyong Park:
Jury-Contestant Bipartite Competition Network: Identifying Biased Scores and Their Impact on Network Structure Inference.
Dan Wang, Shuai Cheng Li, Fei Guo, Lusheng Wang:
Core-genome scaffold comparison reveals the prevalence that inversion events are associated with pairs of inverted repeats.
Huda Ibeid, Rio Yokota, David E. Keyes:
A Matrix-free Preconditioner for the Helmholtz Equation based on the Fast Multipole Method.
Abolfazl Hashemi, Haris Vikalo:
Sampling Requirements and Accelerated Schemes for Sparse Linear Regression with Orthogonal Least-Squares.
Abolfazl Hashemi, Haris Vikalo:
Sparse recovery via Orthogonal Least-Squares under presence of Noise.
Nathan V. Roberts, Jesse Chan:
A Geometric Multigrid Preconditioning Strategy for DPG System Matrices.


Dionisis Stefanatos:
Minimum-Time Transitions between Thermal and Fixed Average Energy States of the Quantum Parametric Oscillator.
Nikolai Krivulin:
Methods of tropical optimization in rating alternatives based on pairwise comparisons.
Shishir Kolathaya, Benjamin J. Morris, Ryan W. Sinnet, Aaron D. Ames:
System Identification and Control through Efficient SVA Based Regressor Computation.
Shan Ma, Matthew J. Woolley, Ian R. Petersen, Naoki Yamamoto:
Pure Gaussian quantum states from passive Hamiltonians and an active local dissipative process.

Corentin Briat:
Dwell-time stability and stabilization conditions for linear positive impulsive and switched systems.
Sharon X. Lee, Kaleb L. Leemaqz, Geoffrey J. McLachlan:
A block EM algorithm for multivariate skew normal and skew t-mixture models.


Ashwin Pananjady, Martin J. Wainwright, Thomas A. Courtade:
Linear Regression with an Unknown Permutation: Statistical and Computational Limits.
Ivo J. B. F. Adan, Vidyadhar G. Kulkarni, Namyoon Lee, A. A. J. Lefeber:
Optimal routing in two-queue polling systems.
Seungkyu Shin, Sebastian E. Ahnert, Juyong Park:
Ranking Competitors Using Degree-Neutralized Random Walks.
Grzegorz Gutowski, Patryk Mikos:
Lower Bounds for On-line Interval Coloring with Vector and Cardinality Constraints.
Aditi Raghunathan, Roy Frostig, John C. Duchi, Percy Liang:
Estimation from Indirect Supervision with Linear Moments.
Robert Vrabel:
Generalization of the Matrix Determinant Lemma and its application to the controllability of single input control systems.

Raphael Heiko Heiberger, Oliver J. Wieczorek:
Choosing Collaboration Partners. How Scientific Success in Physics Depends on Network Positions.
Robert S. Smith, Michael J. Curtis, William J. Zeng:
A Practical Quantum Instruction Set Architecture.
Pei Chen, Xiucong Sun, Chao Han:
Gravity Gradient Tensor Eigendecomposition for Spacecraft Positioning.
Xiucong Sun, Pei Chen, Christophe Macabiau, Chao Han:
Low-Earth Orbit Determination from Gravity Gradient Measurements.
Kevin Günthner, Imran Khan, Dominique Elser, Birgit Stiller, Ömer Bayraktar, Christian R. Müller, Karen Saucke, Daniel Tröndle, Frank Heine, Stefan Seel, Peter Greulich, Herwig Zech, Björn Gütlich, Ines Richter, Michael Lutzer, Sabine Philipp-May, Rolf Meyer, Christoph Marquardt, Gerd Leuchs:
Quantum-limited measurements of optical signals from a geostationary satellite.
Chitta Ranjan, Samaneh Ebrahimi, Kamran Paynabar:
Sequence Graph Transform (SGT): A Feature Extraction Function for Sequence Data Mining.

Nestor Caticha, Rafael Calsaverini, Renato Vicente:
Phase transition from egalitarian to hierarchical societies driven by competition between cognitive and social constraints.
Trang Pham, Truyen Tran, Dinh Q. Phung, Svetha Venkatesh:
Faster Training of Very Deep Networks Via p-Norm Gates.
Samiran Ganguly, Kerem Yunus Camsari, Supriyo Datta:
Evaluating Spintronic Devices Using The Modular Approach.
Haiping Huang, Taro Toyoizumi:
Unsupervised feature learning from finite data by message passing: discontinuous versus continuous phase transition.
Michele Starnini:
Time-varying networks approach to social dynamics: From individual to collective behavior.
Erik Weitenberg, Claudio De Persis, Nima Monshizadeh:
Quantifying the performance of optimal frequency regulators in the presence of intermittent communication disruptions.

Rudra P. K. Poudel, Pablo Lamata, Giovanni Montana:
Recurrent Fully Convolutional Neural Networks for Multi-slice MRI Cardiac Segmentation.
Max I. Kanovich, Stepan Kuznetsov, Andre Scedrov:
Undecidability of the Lambek calculus with subexponentials and bracket modalities.
Adel Alahmadi, Stephen P. Glasby, Cheryl E. Praeger, Patrick Solé, Bahattin Yildiz:
Twisted Centralizer Codes.
Stephan Werth, Martin Horsch, Hans Hasse:
Molecular simulation of the surface tension of real fluids.
Mike Gartrell, Ulrich Paquet, Noam Koenigstein:
The Bayesian Low-Rank Determinantal Point Process Mixture Model.
Michael T. Schaub, Neave O'Clery, Yazan N. Billeh, Jean-Charles Delvenne, Renaud Lambiotte, Mauricio Barahona:
Graph partitions and cluster synchronization in networks of oscillators.
Edward J. Kim, Robert J. Brunner:
Star-galaxy Classification Using Deep Convolutional Neural Networks.
Maitham D. Naeemi, Adam M. Alessio, Sohini Roychowdhury:
Automated Selection of Uniform Regions for CT Image Quality Detection.
Giulio Chiribella, Carlo Maria Scandolo:
Entanglement as an axiomatic foundation for statistical mechanics.
Giulio Chiribella, Carlo Maria Scandolo:
Purity in microcanonical thermodynamics: a tale of three resource theories.
Vladimir A. Frolov, Priyanko Guha Thakurta, Scott Backhaus, Janusz Bialek, Michael Chertkov:
Optimal Placement and Sizing of FACTS Devices to Delay Transmission Expansion.
Qiang Liu, Dilin Wang:
Stein Variational Gradient Descent: A General Purpose Bayesian Inference Algorithm.
Chuang Ma, Zhongkui Bao, Hai-Feng Zhang:
Improving the performance of link prediction by adaptively exploiting multiple structural features of networks.
Gabriele Scheler, Jean-Marc Fellous:
Dopamine modulation of prefrontal delay activity-reverberatory activity and sharpness of tuning curves.
Tom Everitt, Tor Lattimore, Marcus Hutter:
Free Lunch for Optimisation under the Universal Distribution.
Evgeny Burnaev, Vladislav Ishimtsev:
Conformalized density- and distance-based anomaly detection in time-series data.
Alexander Scheinker, David Scheinker:
Extremum Seeking for Stabilization of Systems Not Affine in Control.
Atul Mantri, Tommaso F. Demarie, Nicolas C. Menicucci, Joseph F. Fitzsimons:
Flow ambiguity: A path towards classically driven blind quantum computation.
Michael J. Anderson, Mihai Capota, Javier S. Turek, Xia Zhu, Theodore L. Willke, Yida Wang, Po-Hsuan Chen, Jeremy R. Manning, Peter J. Ramadge, Kenneth A. Norman:
Enabling Factor Analysis on Thousand-Subject Neuroimaging Datasets.
Stefanos Eleftheriadis, Ognjen Rudovic, Marc Peter Deisenroth, Maja Pantic:
Variational Gaussian Process Auto-Encoder for Ordinal Prediction of Facial Action Units.
Bethany Lusch, Eric C. Chi, J. Nathan Kutz:
Shape Constrained Tensor Decompositions using Sparse Representations in Over-Complete Libraries.
Ken Segall, Matthew LeGro, Steven Kaplan, Oleksiy Svitelskiy, Shreeya Khadka, Patrick Crotty, Daniel Schult:
Synchronization dynamics on the picosecond timescale in coupled Josephson junction neurons.
Antoine Zambelli:
A Data-Driven Approach to Estimating the Number of Clusters in Hierarchical Clustering.
Zeyuan Allen Zhu, Yuanzhi Li:
Faster Principal Component Regression via Optimal Polynomial Approximation to sgn(x).
Elad Eban, Mariano Schain, Ariel Gordon, Rif Saurous, Gal Elidan:
Large-scale Learning With Global Non-Decomposable Objectives.
Kien Do, Truyen Tran, Dinh Q. Phung, Svetha Venkatesh:
Outlier Detection on Mixed-Type Data: An Energy-based Approach.
Po-Hsuan Chen, Xia Zhu, Hejia Zhang, Javier S. Turek, Janice Chen, Theodore L. Willke, Uri Hasson, Peter J. Ramadge:
A Convolutional Autoencoder for Multi-Subject fMRI Data Aggregation.
Deepjyoti Deka, Scott Backhaus, Michael Chertkov:
Learning Topology of Distribution Grids using only Terminal Node Measurements.
Deepjyoti Deka, Scott Backhaus, Michael Chertkov:
Tractable Structure Learning in Radial Physical Flow Networks.
Roberto Santana, Zheng Zhu, Helmut G. Katzgraber:
Evolutionary Approaches to Optimization Problems in Chimera Topologies.
Ankur Sinha, Janne Rämö, Pekka Malo, Markku Kallio, Olli Tahvonen:
Optimal Management of Naturally Regenerating Uneven-aged Forests.
Keyu Xia, Fedor Jelezko, Jason Twamley:
Quantum routing of single optical photons with a superconducting flux qubit.
Nedasadat Hosseinidehaj, Robert A. Malaney:
Quantum Entanglement Distribution in Next-Generation Wireless Communication Systems.
Luis M. Lopez-Ramos, Vassilis Kekatos, Antonio G. Marqués, Georgios B. Giannakis:
Two-Timescale Stochastic Dispatch of Smart Distribution Grids.
Mario Berta, Volkher B. Scholz, Marco Tomamichel:
Rényi divergences as weighted non-commutative vector valued $L_p$-spaces.
Steve Alpern, Thomas Lidbetter:
Constant Factor Approximate Solutions for Expanding Search on General Networks.
Hugo Gabriel Eyherabide:
Disambiguating the role of noise correlations when decoding neural populations together.
Jean Golay, Mikhail F. Kanevski:
Unsupervised Feature Selection Based on the Morisita Estimator of Intrinsic Dimension.
Kristóf Bérczi, András Frank:
Supermodularity in Unweighted Graph Optimization I: Branchings and Matchings.
Kristóf Bérczi, András Frank:
Supermodularity in Unweighted Graph Opitimization III: Highly-connected Digraphs.
Kristóf Bérczi, András Frank:
Supermodularity in Unweighted Graph Optimization II: Matroidal Term Rank Augmentation.
Christopher P. Stone, Kyle E. Niemeyer:
Accelerating finite-rate chemical kinetics with coprocessors: comparing vectorization methods on GPUs, MICs, and CPUs.

Aditya Ramadona, Lutfan Lazuardi, Sulistyawati, Anwar Cahyono, Åsa Holmner, Hari Kusnanto, Joacim Röcklov:
Validating search protocols for mining of health and disease events on Twitter.
Christophe Guyeux, Jacques M. Bahi:
A Topological Study of Chaotic Iterations. Application to Hash Functions.
Dongwoo Kim, Lexing Xie, Cheng Soon Ong:
Probabilistic Knowledge Graph Construction: Compositional and Incremental Approaches.
Jean Ponce, Bernd Sturmfels, Matthew Trager:
Congruences and Concurrent Lines in Multi-View Geometry.
Qianxue Wang, Simin Yu, Christophe Guyeux, Jacques M. Bahi, Xiaole Fang:
Theoretical design and circuit implementation of integer domain chaotic systems.
Ming Lin, Jieping Ye:
A Non-convex One-Pass Framework for Generalized Factorization Machines and Rank-One Matrix Sensing.
Mark Cooke, Chris North, Megan Dewar, Brett Stevens:
A note on Beckett-Gray codes and the relationship of Gray codes to data structures.
Ajinkya More:
Survey of resampling techniques for improving classification performance in unbalanced datasets.
Jop Briët, Jeroen Zuiddam:
On the orthogonal rank of Cayley graphs and impossibility of quantum round elimination.
(Withdrawn) Privacy Amplification Against Active Quantum Adversaries.
Yasaman Khazaeni, Christos G. Cassandras:
Event-driven Trajectory Optimization for Data Harvesting in Multi-Agent Systems.
Simon Bauer, Marcus Mohr, Ulrich Rüde, Jens Weismüller, Markus Wittmann, Barbara I. Wohlmuth:
A two-scale approach for efficient on-the-fly operator assembly in massively parallel high performance multigrid codes.


Mohamed A. Khamis, Walid E. Gomaa, Basem Galal:
Deep learning is competing random forest in computational docking.

Saugata Basu, Cordian Riener:
Efficient algorithms for computing the Euler-Poincaré characteristic of symmetric semi-algebraic sets.
Christopher Lynn, Daniel D. Lee:
Maximizing Influence in an Ising Network: A Mean-Field Optimal Solution.
Adrian Dumitrescu, Minghui Jiang:
Perfect vector sets, properly overlapping partitions, and largest empty box.
Sashank J. Reddi, Jakub Konecný, Peter Richtárik, Barnabás Póczos, Alexander J. Smola:
AIDE: Fast and Communication Efficient Distributed Optimization.
Mark M. Wilde, Marco Tomamichel, Seth Lloyd, Mario Berta:
Gaussian hypothesis testing and quantum illumination.
H. Gopalakrishna Gadiyar, R. Padma:
The Discrete Logarithm Problem over Prime Fields can be transformed to a Linear Multivariable Chinese Remainder Theorem.

Omar Gustavo Zabaleta, Juan Pablo Barrangú, Constancio M. Arizmendi:
Quantum Game Application to Spectrum Scarcity Problems.
Lina Jansson Andrén, Carl Johan Casselgren, Klas Markström:
Restricted completion of sparse partial Latin squares.
Franck Delaplace, Cinzia Di Giusto, Jean-Louis Giavitto, Hanna Klaudel:
Activity Networks with Delays An application to toxicity analysis.
Vasileios Tzoumas, Ali Jadbabaie, George J. Pappas:
Near-Optimal Sensor Scheduling for Batch State Estimation: Complexity, Algorithms, and Limits.
Cem Aksoylar, Jing Qian, Venkatesh Saligrama:
Clustering and Community Detection with Imbalanced Clusters.
Ji Xu, Daniel J. Hsu, Arian Maleki:
Global analysis of Expectation Maximization for mixtures of two Gaussians.
Yu Hin Au, Levent Tunçel:
Elementary polytopes with high lift-and-project ranks for strong positive semidefinite operators.
Andrew G. Reece, Andrew J. Reagan, Katharina L. M. Lix, Peter Sheridan Dodds, Christopher M. Danforth, Ellen J. Langer:
Forecasting the onset and course of mental illness with Twitter data.
(Withdrawn) Optimizing Recurrent Neural Networks Architectures under Time Constraints.
Mohammad Akbarpour, Matthew O. Jackson:
How heterogeneous timing of participation across people improves diffusion.
Romain Guigourès, Marc Boullé, Fabrice Rossi:
Discovering Patterns in Time-Varying Graphs: A Triclustering Approach.
Nicolas Flammarion, Balamurugan Palanisamy, Francis R. Bach:
Robust Discriminative Clustering with Sparse Regularizers.


Yong Zhuang, Alex Arenas, Osman Yagan:
Clustering determines the dynamics of complex contagions in multiplex networks.
(Withdrawn) Method for Improved DL CoMP Implementation in Heterogeneous Networks.
Alina-Daniela Vîlcu, Gabriel Eduard Vîlcu:
An algorithm to estimate the vertices of a tetrahedron with uniform random points inside.
Maialen Larrañaga, Mohamad Assaad, Apostolos Destounis, Georgios S. Paschos:
Asymptotically optimal pilot allocation over Markovian fading channels.
Manuel Sebastian Mariani, Matús Medo, Yi-Cheng Zhang:
Identification of milestone papers through time-balanced network centrality.
Christopher Jefferson, Markus Pfeiffer, Rebecca Waldecker:
New refiners for permutation group search.
Mateusz Kowalczyk, Piotr Fronczak, Agata Fronczak:
A new fast algorithm for reproducing complex networks with community structure.
Josef Dick, Friedrich Pillichshammer, Kosuke Suzuki, Mario Ullrich, Takehito Yoshiki:
Lattice based integration algorithms: Kronecker sequences and rank-1 lattices.
David M. Howard, Noah Streib, William T. Trotter, Bartosz Walczak, Ruidong Wang:
The dimension of posets with planar cover graphs excluding two long incomparable chains.
Zhen Wang, Chris T. Bauch, Samit Bhattacharyya, Alberto d'Onofrio, Piero Manfredi, Matjaz Perc, Nicola Perra, Marcel Salathé, Dawei Zhao:
Statistical physics of vaccination.


Martin Genzel, Gitta Kutyniok:
A Mathematical Framework for Feature Selection from Real-World Data with Non-Linear Observations.



Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic Scholar
